Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

B. Braitling, L. Fioriti, H. Hatefi, R. Wimmer, B. Becker, und H. Hermanns. QAPL, Volume 154 von EPTCS, Seite 48-63. (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Claudia Marianowski University of Stuttgart

Luis Orozco University of Stuttgart

Luis Mandl University of Stuttgart

apl. Prof. Dr. Maria Fyta University of Stuttgart

Maria Papadimitraki University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms.S. Giro, P. D'Argenio, und L. Fioriti. Theor. Comput. Sci., (2014)Variable Probabilistic Abstraction Refinement.L. Fioriti, E. Hahn, H. Hermanns, und B. Wachter. ATVA, Volume 7561 von Lecture Notes in Computer Science, Seite 300-316. Springer, (2012)Heuristics for Probabilistic Timed Automata with Abstraction Refinement.L. Fioriti, und H. Hermanns. MMB/DFT, Volume 7201 von Lecture Notes in Computer Science, Seite 151-165. Springer, (2012)Synthesizing Probabilistic Invariants via Doob's Decomposition.G. Barthe, T. Espitau, L. Fioriti, und J. Hsu. CAV (1), Volume 9779 von Lecture Notes in Computer Science, Seite 43-61. Springer, (2016)Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers.S. Giro, P. D'Argenio, und L. Fioriti. CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 338-353. Springer, (2009)Abstraction-Based Computation of Reward Measures for Markov Automata.B. Braitling, L. Fioriti, H. Hatefi, R. Wimmer, B. Becker, und H. Hermanns. VMCAI, Volume 8931 von Lecture Notes in Computer Science, Seite 172-189. Springer, (2015)MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.B. Braitling, L. Fioriti, H. Hatefi, R. Wimmer, B. Becker, und H. Hermanns. QAPL, Volume 154 von EPTCS, Seite 48-63. (2014)Probabilistic Termination: Soundness, Completeness, and Compositionality.L. Fioriti, und H. Hermanns. POPL, Seite 489-501. ACM, (2015)Deciding probabilistic automata weak bisimulation: theory and practice.L. Fioriti, V. Hashemi, H. Hermanns, und A. Turrini. Formal Asp. Comput., 28 (1): 109-143 (2016)Probabilistic CTL*: The Deductive Way.R. Dimitrova, L. Fioriti, H. Hermanns, und R. Majumdar. TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 280-296. Springer, (2016)