Login / Signup
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking.
Bozena Wozna-Szczesniak
Andrzej Zbrzezny
Published in:
Fundam. Informaticae (2014)
Keyphrases
</>
timed automata
model checking
bounded model checking
formal verification
temporal logic
reachability analysis
linear temporal logic
inductive learning
theorem prover
formal specification
multi task learning
finite state
epistemic logic
multiple tasks
feature selection
domain specific
general purpose