Login / Signup

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.

Bettina BraitlingLuis María Ferrer FioritiHassan HatefiRalf WimmerBernd BeckerHolger Hermanns
Published in: QAPL (2014)
Keyphrases
  • high level
  • cooperative
  • cellular automata
  • game theoretic
  • imperfect information games
  • markov chain
  • game theory
  • temporal logic
  • finite state
  • finite automata
  • tree automata
  • data abstraction