Published in
Frontiers in Control Engineering
AI and Machine Learning Control
- Frontiers in Control Engineering
- AI and Machine Learning Control
- Research Topics
- Formal Verification of Neural Networks-Based Control Architecture for Safety-Critical Autonomous Systems
Formal Verification of Neural Networks-Based Control Architecture for Safety-Critical Autonomous Systems
3,275
Total views and downloads
Submit your idea
You will be redirected to our submission process.
Authors
The Research Topic has been launched recently. Authors will be published on this page as soon as they become available.
Manuscripts can be submitted to this Research Topic via the main journal or any other participating journal.
Submit your idea
You will be redirected to our submission process.