Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy.
Hoang-Dung TranDiego Manzanas LopezTaylor T. JohnsonPublished in: EMSOFT (2023)
Keyphrases
- formal verification
- neural network
- cyber physical systems
- cyber physical
- model checking
- artificial intelligence
- automated verification
- bounded model checking
- physical world
- expert systems
- model checker
- embedded systems
- cyber security
- artificial neural networks
- intelligent systems
- multi agent systems
- computational intelligence
- low cost
- fuzzy logic
- intrusion detection system
- machine learning