MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
Year: 2016
Type: preprint
Authors: Bettina Braitling, Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
Institutions: University of Freiburg, Saarland University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3148810651