MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.

S. Akshay Paul Gastin R. Govind B. Srivathsan

Published in: CoRR (2024)

Keyphrases

model checking
timed automata
computational complexity
verification method
np hard
deterministic finite automaton
search space
dynamic programming
temporal logic
reachability analysis
machine learning
optimal solution
multi agent systems
satisfiability problem
model checker
temporal properties