Static Guard Analysis in Timed Automata Verification.

Gerd Behrmann Patricia Bouyer Emmanuel Fleury Kim Guldstrand Larsen

Published in: TACAS (2003)

Keyphrases

quantitative analysis
timed automata
real time
data sets
statistical analysis
machine learning
social networks
data analysis
mobile robot
theorem prover