Publications (18)
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
Bettina Braitling, Luis MarÃa Ferrer Fioriti, Hassan Hatefi +3
Analysis of Timed and Long-Run Objectives for Markov Automata
Dennis Guck, Hassan Hatefi, Holger Hermanns +2
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time
Holger Hermanns, Andrea Turrini
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi +1
Facets of Software Doping
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner +1
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems
Holger Hermanns, Peter Höfner
Modelling, Reduction and Analysis of Markov Automata (extended version)
Dennis Guck, Hassan Hatefi, Holger Hermanns +2
Cost Preserving Bisimulations for Probabilistic Automata
Andrea Turrini, Holger Hermanns
Towards a Framework Combining Machine Ethics and Machine Explainability
Kevin Baum, Holger Hermanns, Timo Speith
Distributed Synthesis in Continuous Time
Holger Hermanns, Jan KrÄál, Steen Vester
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer +2
Compositional Reasoning for Interval Markov Decision Processes
Vahid Hashemi, Holger Hermanns, Andrea Turrini
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand +1
Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage
Arnd Hartmanns, Holger Hermanns
Late Weak Bisimulation for Markov Automata
Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns +2
Doping Tests for Cyber-Physical Systems
Sebastian Biewer, Pedro D'Argenio, Holger Hermanns
Probabilistic Bisimulation: Naturally on Distributions
Holger Hermanns, Jan KrÄál, Jan KÅetÃnský
Efficient CSL Model Checking Using Stratification
Lijun Zhang, David N. Jansen, Flemming Nielson +1