Login / Signup
Emptiness and Universality Problems in Timed Automata with Positive Frequency.
Nathalie Bertrand
Patricia Bouyer
Thomas Brihaye
Amélie Stainer
Published in:
ICALP (2) (2011)
Keyphrases
</>
timed automata
case study
machine learning
genetic algorithm
feature selection
knowledge base
search algorithm
computational complexity
probability distribution
np complete
application domains
model checking
combinatorial optimization
problems involving
solving problems