Sign in
Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications.
Prithvi Akella
Mohamadreza Ahmadi
Richard M. Murray
Aaron D. Ames
Published in:
CoRR (2023)
Keyphrases
</>
safety critical
formal methods
fault tolerant
embedded systems
safety analysis
agent architecture
low cost
support systems
expert systems
management system
intelligent systems
e learning
reinforcement learning
cooperative
formal specification
nuclear power plant