Interrupt Timed Automata with Auxiliary Clocks and Parameters.

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

Published in: Fundam. Informaticae (2016)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
genetic algorithm
expert systems
probability distribution
parameter estimation
camera calibration
parameter settings
parameter selection
fine tuning
measured data