Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach.
Luan Viet NguyenWesam HaddadTaylor T. JohnsonPublished in: SNR (2021)
Keyphrases
- model checking
- hybrid systems
- temporal logic
- black box
- discrete event
- soft computing
- intelligent systems
- computational intelligence
- meta learning
- formal specification
- neural network
- formal verification
- symbolic model checking
- computation tree logic
- model checker
- formal methods
- epistemic logic
- artificial intelligence
- verification method
- simulation model
- dynamic systems
- np complete
- workflow systems
- domain independent
- model selection
- software development
- state space
- evolutionary algorithm
- data mining