Login / Signup
Comparing Timed C/E Systems with Timed Automata (Abstract).
Ralf Huuck
Yassine Lakhnech
Luis Urbina
Sebastian Engell
Stefan Kowalewski
Jörg Preußig
Published in:
HART (1997)
Keyphrases
</>
timed automata
model checking
reachability analysis
first order logic
learning systems
complex systems
management system
computer systems
data sets
low level
markov decision processes
theorem prover
theorem proving
real time systems
discrete event
computer vision
learning algorithm