Robust Timed Automata.

Vineet Gupta Thomas A. Henzinger Radha Jagadeesan

Published in: HART (1997)

Keyphrases

timed automata
model checking
case study
image noise
control system
multi agent
real time
information retrieval
feature selection
decision making
information systems
artificial intelligence
expert systems
genetic algorithm
highly accurate
parameter tuning
real world
databases