Interrupt Timed Automata with Auxiliary Clocks and Parameters.

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

Published in: CoRR (2014)

Keyphrases

timed automata
model checking
parameter values
genetic algorithm
maximum likelihood
expectation maximization
databases
theorem prover
input parameters
website
multiresolution
low cost
parameter space
real world
optimal parameters
measured data
design parameters
neural network