Submission open
Formal Verification of Neural Networks-Based Control Architecture for Safety-Critical Autonomous Systems
- Kunal Garg
- Abderraouf Boussif
- Rong Gu
- Michael Rathmair
- Marcelo Finger
- 1,476 views
- Frontiers in Control Engineering
- AI and Machine Learning Control
- Research Topics
Type at least 3 characters
2 Research Topics
Guest edit your own article collection
Suggest a topic
research topics
Submission open
Control of Sustainable Energy Processes
- Jesse Yoe Yoe Rumbo Morales
- Jorge Aurelio Brizuela Mendoza
- Gerardo Ortiz-Torres
- Felipe De J. Sorcia-Vázquez
- Jesus E. Valdez-Resendiz
- 627 views