699 citations
- Centre National de la Recherche ScientifiqueFR34 papers
- Max Planck Institute for InformaticsDE33 papers
- German Research Centre for Artificial IntelligenceDE24 papers
- Forschungszentrum JülichDE17 papers
- Karlsruhe Institute of TechnologyDE16 papers
- Helmholtz Center for Information SecurityDE14 papers
- RWTH Aachen UniversityDE14 papers
- University of KaiserslauternDE14 papers
- University of StuttgartDE12 papers
- ETH ZurichCH11 papers
- Universitat Autònoma de BarcelonaES11 papers
- Iowa State UniversityUS10 papers
5 papers · 2 filters
Parametric Linear Dynamic Logic
Peter Faymonville, Martin Zimmermann
We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope. LDL was propose…
Analysis of Timed and Long-Run Objectives for Markov Automata
Dennis Guck, Hassan Hatefi, Holger Hermanns +2
Markov automata (MAs) extend labelled transition systems with random delays and probabilistic branching. Action-labelled transitions are instantaneous and yield a distribution over…
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi +3
Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of comp…
Petri Games: Synthesis of Distributed Systems with Causal Memory
Bernd Finkbeiner, Ernst-Rüdiger Olderog
We present a new multiplayer game model for the interaction and the flow of information in a distributed system. The players are tokens on a Petri net. As long as the players move…
Probabilistic Bisimulation: Naturally on Distributions
Holger Hermanns, Jan Krčál, Jan Křetínský
In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this pa…