Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions.

Muhammad Syifa'ul Mufid Dieky Adzkiya Alessandro Abate

Published in: FORMATS (2019)

Keyphrases

linear systems
bounded model checking
formal verification
model checking
sufficient conditions
dynamical systems
linear equations
temporal logic
linear temporal logic
coefficient matrix
multi agent systems
orders of magnitude
real time
cooperative
nearest neighbor
interior point methods