Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges.
Xiang YinBingzhao GaoXiao YuPublished in: CoRR (2024)
Keyphrases
- autonomous systems
- safety critical
- formal methods
- safety analysis
- dynamic environments
- fault tolerant
- agent architecture
- embedded systems
- formal specification
- knowledge based systems
- adaptive systems
- control system
- real time
- support systems
- software engineering
- autonomous navigation
- model checking
- artificial intelligence
- distributed systems
- data sources