Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.
Eva SmijákováSamuel PastvaDavid SafránekLubos BrimPublished in: CMSB (2020)
Keyphrases
- hybrid systems
- bounded model checking
- black box
- intelligent systems
- meta learning
- discrete event
- neural network
- computational intelligence
- soft computing
- model checking
- artificial intelligence
- formal specification
- temporal logic
- dynamical systems
- inductive learning
- text categorization
- knowledge acquisition
- decision trees