Login / Signup
Reachability analysis for timed automata using max-plus algebra.
Qi Lu
Michael Madsen
Martin Milata
Søren Ravn
Uli Fahrenberg
Kim G. Larsen
Published in:
J. Log. Algebraic Methods Program. (2012)
Keyphrases
</>
reachability analysis
timed automata
model checking
theorem prover
theorem proving
data model
markov decision processes
temporal logic
algebraic expressions
relational algebra
first order logic
query language
dynamic programming
real time
real numbers
algebraic structure
search algorithm