Frequencies in Forgetful Timed Automata.

Amélie Stainer

Published in: FORMATS (2012)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
temporal logic
data sets
database
social networks
decision trees
image segmentation
image sequences
reinforcement learning