Parametric Interrupt Timed Automata.

Béatrice Bérard Serge Haddad Aleksandra Jovanovic Didier Lime

Published in: RP (2013)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
parametric models
real time systems
artificial intelligence
data structure
temporal logic
databases
neural network
search engine
image sequences
least squares