ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.
Lei BuRajarshi RayStefan SchuppPublished in: ARCH@CPSWeek (2017)
Keyphrases
- piecewise constant
- hybrid systems
- bounded model checking
- black box
- model checking
- soft computing
- formal verification
- discrete event
- intelligent systems
- meta learning
- level set
- level set method
- neural network
- artificial intelligence
- computational intelligence
- temporal logic
- linear temporal logic
- dynamical systems
- mean shift
- image segmentation
- curve evolution
- fuzzy logic
- multiphase image segmentation
- multi agent systems
- dynamic systems
- inductive learning
- graph cuts
- expert systems