ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Lei BuRajarshi RayStefan SchuppPublished in: ARCH@ADHS (2018)
Keyphrases
- piecewise constant
- hybrid systems
- bounded model checking
- black box
- formal verification
- neural network
- model checking
- intelligent systems
- soft computing
- temporal logic
- computational intelligence
- meta learning
- level set
- discrete event
- level set method
- artificial intelligence
- linear temporal logic
- multiphase image segmentation
- multi agent systems
- dynamical systems
- search problems
- expert systems
- data mining