Undecidability of bisimilarity by defender's forcing.

Petr Jancar Jirí Srba

Published in: J. ACM (2008)

Keyphrases

description logics
game theory
countermeasures
robot soccer
game theoretic
probabilistic planning
evolutionary algorithm
database
real time
neural network
data mining