Polynomial Interrupt Timed Automata.

Béatrice Bérard Serge Haddad Claudine Picaronny Mohab Safey El Din Mathieu Sassolas

Published in: RP (2015)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real world
temporal logic
real time systems
artificial intelligence
multi agent
support vector
orthogonal polynomials