Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking.

Bozena Wozna-Szczesniak Andrzej Zbrzezny

Published in: CS&P (2013)

Keyphrases

timed automata
model checking
bounded model checking
temporal logic
reachability analysis
formal verification
linear temporal logic
first order logic
multi agent
search algorithm
random variables
multi task learning