Login / Signup
MSO logics for weighted timed automata.
Karin Quaas
Published in:
Formal Methods Syst. Des. (2011)
Keyphrases
</>
timed automata
model checking
reachability analysis
finite state
first order logic
expressive power
epistemic logic
temporal logic
theorem prover
theorem proving
modal logic
inference rules
real time systems
real time
weighted graph
weighted sum
machine learning
dynamic programming
reinforcement learning