ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
Lei BuGoran FrehseAtanu KunduRajarshi RayYuhui ShiEnea ZaffanellaPublished in: ARCH@SAFECOMP (2022)
Keyphrases
- hybrid systems
- piecewise constant
- bounded model checking
- model checking
- formal verification
- black box
- soft computing
- neural network
- meta learning
- computational intelligence
- intelligent systems
- level set
- discrete event
- level set method
- artificial intelligence
- linear temporal logic
- temporal logic
- curve evolution
- image segmentation
- dynamical systems
- artificial neural networks
- inductive learning
- mean shift
- search problems
- test cases
- fuzzy logic
- search algorithm
- cooperative
- multiphase image segmentation