Login / Signup
Categorical foundations for randomly timed automata.
Paulo Mateus
Manuel Cabral Morais
Cláudia Nunes
António Pacheco
Amílcar Sernadas
Cristina Sernadas
Published in:
Theor. Comput. Sci. (2003)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
first order logic
artificial intelligence
theorem proving
categorical data
numerical data
real time systems
attribute values
randomly chosen
machine learning
temporal logic
information systems