Robustness in the Presence of Liveness.

Roderick Bloem Krishnendu Chatterjee Karin Greimel Thomas A. Henzinger Barbara Jobstmann

Published in: CAV (2010)

Keyphrases

genetic algorithm
pattern recognition
probability distribution
data mining
information retrieval
database systems
similarity measure
data structure
computational efficiency