Sign in
Reach-avoid Controllers Synthesis for Safety Critical Systems.
Bai Xue
Published in:
CoRR (2023)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
embedded systems
adaptive systems
agent architecture
support systems
expert systems
distributed systems
control system
management system
software engineering
knowledge based systems
real time
regulatory requirements