Emptiness and Universality Problems in Timed Automata with Positive Frequency.

Nathalie Bertrand Patricia Bouyer Thomas Brihaye Amélie Stainer

Published in: CoRR (2013)

Keyphrases

problems involving
timed automata
neural network
search engine
optimization problems
low frequency
solving problems
machine learning
computer vision
state space
np complete
frequency domain
positive and negative
benchmark problems
related problems
reachability analysis