
On the Complexity of SPEs in Parity Games
We study the complexity of problems related to subgameperfect equilibri...
read it

Lifted Model Checking for Relational MDPs
Model checking has been developed for verifying the behaviour of systems...
read it

Active Learning of Sequential Transducers with Side Information about the Domain
Active learning is a setting in which a student queries a teacher, throu...
read it

StackelbergPareto Synthesis (Full Version)
In this paper, we study the framework of twoplayer Stackelberg games pl...
read it

Subgameperfect Equilibria in Meanpayoff Games
In this paper, we provide an effective characterization of all the subga...
read it

Online Learning of NonMarkovian Reward Models
There are situations in which an agent should receive rewards only after...
read it

Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of the 11th International Symposium...
read it

Stackelberg Meanpayoff Games with a Rationally Bounded Adversarial Follower
Twoplayer Stackelberg games are nonzero sum strategic games between a ...
read it

Monte Carlo Tree Search guided by Symbolic Advice for MDPs
In this paper, we consider the online computation of a strategy that aim...
read it

Safe Learning for Near Optimal Scheduling
In this paper, we investigate the combination of synthesis techniques an...
read it

Mixing Probabilistic and nonProbabilistic Objectives in Markov Decision Processes
In this paper, we consider algorithms to decide the existence of strateg...
read it

The Adversarial Stackelberg Value in Quantitative Games
In this paper, we study the notion of adversarial Stackelberg value for ...
read it

Learning NonMarkovian Reward Models in MDPs
There are situations in which an agent should receive rewards only after...
read it

Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification
This volume contains the proceedings of the Tenth International Symposiu...
read it

Partial Solvers for Generalized Parity Games
Parity games have been broadly studied in recent years for their applica...
read it

Energy meanpayoff games
In this paper, we study oneplayer and twoplayer energy meanpayoff gam...
read it

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games (full version)
We study multiplayer quantitative reachability games played on a finite ...
read it

Monadic Second Order Logic with PathMeasure Quantifier is Undecidable
We prove that the theory of monadic second order logic (MSO) of the infi...
read it

Expected Window MeanPayoff
In the window meanpayoff objective, given an infinite path, instead of ...
read it

Constrained Existence Problem for Weak Subgame Perfect Equilibria with ωRegular Boolean Objectives
We study multiplayer turnbased games played on a finite directed graph ...
read it

Constrained existence problem for weak subgame perfect equilibria with omegaregular Boolean objectives (full version)
We study multiplayer turnbased games played on a finite directed graph ...
read it

Constrained existence problem for weak subgame perfect equilibria with omegaregular Boolean objectives
We study multiplayer turnbased games played on a finite directed graph ...
read it

Beyond admissibility: Dominance between chains of strategies
Admissible strategies, i.e. those that are not dominated by any other st...
read it

LearningBased MeanPayoff Optimization in an Unknown MDP under OmegaRegular Constraints
We formalize the problem of maximizing the meanpayoff value with high p...
read it

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). ...
read it

Parameterized complexity of games with monotonically ordered ωregular objectives
In recent years, twoplayer zerosum games with multiple objectives have...
read it

Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes
The beyond worstcase synthesis problem was introduced recently by Bruyè...
read it

Optimizing Expectation with Guarantees in POMDPs (Technical Report)
A standard objective in partiallyobservable Markov decision processes (...
read it
JeanFrançois Raskin
is this you? claim profile