Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.
Muhammad Syifa'ul MufidDieky AdzkiyaAlessandro AbatePublished in: CoRR (2019)
Keyphrases
- linear systems
- bounded model checking
- model checking
- formal verification
- sufficient conditions
- temporal logic
- dynamical systems
- linear temporal logic
- linear equations
- multi agent systems
- coefficient matrix
- sparse linear systems
- search algorithm
- dynamic programming
- particle swarm optimization
- interior point methods