Login / Signup
Polynomial Interrupt Timed Automata.
Béatrice Bérard
Serge Haddad
Claudine Picaronny
Mohab Safey El Din
Mathieu Sassolas
Published in:
CoRR (2015)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
low order
database systems
similarity measure
temporal logic
real time systems
data mining
artificial intelligence
reinforcement learning
probabilistic model
machine learning
polynomial equations
real time