ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
Lei BuAlessandro AbateDieky AdzkiyaMuhammad Syifa'ul MufidRajarshi RayYuming WuEnea ZaffanellaPublished in: ARCH (2020)
Keyphrases
- piecewise constant
- hybrid systems
- bounded model checking
- model checking
- black box
- intelligent systems
- meta learning
- soft computing
- discrete event
- formal verification
- level set method
- neural network
- level set
- artificial intelligence
- computational intelligence
- linear temporal logic
- temporal logic
- dynamical systems
- multi agent systems
- dynamic systems
- multiphase image segmentation
- curve evolution
- velocity field
- fuzzy logic
- machine learning
- rough sets
- artificial neural networks
- data mining