ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Lei BuRajarshi RayStefan SchuppPublished in: ARCH@CPSIoTWeek (2019)
Keyphrases
- domain independent
- piecewise constant
- hybrid systems
- bounded model checking
- black box
- model checking
- intelligent systems
- neural network
- meta learning
- formal verification
- computational intelligence
- level set
- soft computing
- discrete event
- temporal logic
- artificial intelligence
- level set method
- linear temporal logic
- curve evolution
- dynamical systems
- multi agent systems
- mean shift
- dynamic systems
- machine learning algorithms
- reinforcement learning
- knowledge base
- multiphase image segmentation