Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions.

Nils Buhrke Helmut Lescow Jens Vöge

Published in: TACAS (1996)

Keyphrases

sufficient conditions
search engine
real time
environmental conditions
construction process
machine learning
knowledge base
case study
bayesian networks
wide range