A Uniform Framework for Timed Automata.

Tomasz Brengos Marco Peressotti

Published in: CONCUR (2016)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
real time
machine learning
knowledge base
probability distribution
expert systems
knowledge representation