Certification for mu-calculus with winning strategies.

Martin Hofmann Harald Ruess

Published in: CoRR (2014)

Keyphrases

third party
machine learning
genetic algorithm
learning algorithm
information systems
case study
expressive power
search strategies
optimal strategy
selection strategies
computer algebra