Stem gara$ (all stems)
1 papers:
QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement- MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement