JOURNAL ARTICLE

Automated Synthesis of Verified Neural Network Controllers from Linear Temporal Logic Specifications

Keywords:

Metrics

1
Cited By
5.02
FWCI (Field Weighted Citation Impact)
29
Refs
0.91
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Adversarial Robustness in Machine Learning
Physical Sciences →  Computer Science →  Artificial Intelligence
Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
© 2026 ScienceGate Book Chapters — All rights reserved.