42 citations · 185 across the 35 of their papers we have counts for
5 papers · 1 filter
Common Knowledge in a Logic of Gossips
Krzysztof R. Apt, Dominik Wojtczak
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets. Recently a number of authors s…
Optimal Control for Multi-Mode Systems with Discrete Costs
Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
This paper studies optimal time-bounded control in multi-mode systems with discrete costs. Multi-mode systems are an important subclass of linear hybrid systems, in which there are…
On Strong Determinacy of Countable Stochastic Games
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi +1
We study 2-player turn-based perfect-information stochastic games with countably infinite state space. The players aim at maximizing/minimizing the probability of a given event (i.…
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
John Fearnley, Sanjay Jain, Sven Schewe +2
Parity games play an important role in model checking and synthesis. In their paper, Calude et al. have shown that these games can be solved in quasi-polynomial time. We show that…
MDPs with Energy-Parity Objectives
Richard Mayr, Sven Schewe, Patrick Totzke +1
Energy-parity objectives combine -regular with quantitative objectives of reward MDPs. The controller needs to avoid to run out of energy while satisfying a parity objective. We…