Acceptance conditions for omega-languages and the Borel hierarchy.

Julien Cervelle Alberto Dennunzio Enrico Formenti Julien Provillard

Published in: CoRR (2013)

Keyphrases

sufficient conditions
markov decision processes
language independent
expressive power
hierarchical structure
higher level
external factors
high level
scheduling problem
object oriented
cross lingual
environmental conditions