A New Modality for Almost Everywhere Properties in Timed Automata.

Houda Bel Mokadem Béatrice Bérard Patricia Bouyer François Laroussinie

Published in: CONCUR (2005)

Keyphrases

timed automata
model checking
desirable properties
reachability analysis
three dimensional
data structure
medical images
first order logic
database
machine learning
multi modal
topological properties