On Omega-Languages Defined by Mean-Payoff Conditions.

Rajeev Alur Aldric Degorre Oded Maler Gera Weiss

Published in: FoSSaCS (2009)

Keyphrases

sufficient conditions
expressive power
language independent
databases
game theory
neural network
genetic algorithm
artificial intelligence
reinforcement learning
evolutionary algorithm
cross lingual
environmental conditions