Robust Analysis of Timed Automata via Channel Machines.

Patricia Bouyer Nicolas Markey Pierre-Alain Reynier

Published in: FoSSaCS (2008)

Keyphrases

real time
information systems
data analysis
timed automata
real world
information retrieval
computer vision
decision trees
bayesian networks
multiscale