PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.
Bai XueMiaomiao ZhangArvind EaswaranQin LiPublished in: CoRR (2020)
Keyphrases
- dynamical systems
- black box
- model checking
- temporal logic
- black boxes
- formal verification
- finite state
- temporal properties
- model checker
- white box
- dynamic systems
- formal specification
- verification method
- qualitative simulation
- symbolic model checking
- bounded model checking
- automated verification
- test cases
- nonlinear dynamical systems
- timed automata
- state space
- transition systems
- epistemic logic
- finite state machines
- partially observable
- machine learning
- computation tree logic
- partially observable markov decision processes
- formal methods
- markov chain
- relational databases
- search algorithm
- artificial intelligence
- learning algorithm