PAC Model Checking of Black-Box Continuous-Time Dynamical Systems.
Bai XueMiaomiao ZhangArvind EaswaranQin LiPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
- dynamical systems
- black box
- model checking
- temporal logic
- finite state
- formal verification
- black boxes
- model checker
- white box
- finite state machines
- formal specification
- temporal properties
- dynamic systems
- automated verification
- symbolic model checking
- state space
- epistemic logic
- qualitative simulation
- transition systems
- partially observable
- computation tree logic
- bounded model checking
- nonlinear dynamical systems
- formal methods
- verification method
- timed automata
- alternating time temporal logic
- web services