Robust safety of timed automata.

Martin De Wulf Laurent Doyen Nicolas Markey Jean-François Raskin

Published in: Formal Methods Syst. Des. (2008)

Keyphrases

timed automata
data sets
genetic algorithm
case study
model checking
parameter tuning
computer vision
information systems
expert systems
low cost
temporal logic
partial occlusion
theorem prover
theorem proving