Login / Signup
Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract).
Agnieszka M. Zbrzezny
Andrzej Zbrzezny
Published in:
CS&P (2019)
Keyphrases
</>
extended abstract
timed automata
model checking
real time systems
machine learning
decision trees
lower bound
temporal logic