research
∙
05/06/2023
A Game of Pawns
We introduce and study pawn games, a class of two-player zero-sum turn-b...
share
research
∙
04/23/2023
Stochastic Window Mean-payoff Games
Stochastic two-player games model systems with an environment that is bo...
research
∙
03/16/2023
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
Continuous-time Markov decision processes (CTMDPs) are canonical models ...
research
∙
07/15/2022
Parikh Automata over Infinite Words
Parikh automata extend finite automata by counters that can be tested fo...
research
∙
06/03/2022
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Markov decision processes (MDP) and continuous-time MDP (CTMDP) are the ...
research
∙
04/25/2022
Strategy Synthesis for Global Window PCTL
Given a Markov decision process (MDP) M and a formula Φ, the strategy sy...
research
∙
05/06/2021
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
We study the expressiveness and succinctness of good-for-games pushdown ...
research
∙
07/13/2020
Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower
Two-player Stackelberg games are non-zero sum strategic games between a ...
research
∙
05/19/2020
Safe Learning for Near Optimal Scheduling
In this paper, we investigate the combination of synthesis techniques an...
research
∙
04/28/2020
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
In this paper, we consider algorithms to decide the existence of strateg...
research
∙
02/10/2020
Alternating Tree Automata with Qualitative Semantics
We study alternating automata with qualitative semantics over infinite b...
research
∙
01/14/2019
Monadic Second Order Logic with Path-Measure Quantifier is Undecidable
We prove that the theory of monadic second order logic (MSO) of the infi...
research
∙
12/21/2018
Expected Window Mean-Payoff
In the window mean-payoff objective, given an infinite path, instead of ...
research
∙
08/14/2018