
Mungojerrie: Reinforcement Learning of LinearTime Objectives
Reinforcement learning synthesizes controllers without prior knowledge o...
read it

Modelfree Reinforcement Learning for Branching Markov Decision Processes
We study reinforcement learning for the optimal control of Branching Mar...
read it

A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Zielonka's classic recursive algorithm for solving parity games is perha...
read it

Priority Promotion with Parysian Flair
We develop an algorithm that combines the advantages of priority promoti...
read it

Facility Reallocation on the Line
We consider a multistage facility reallocation problems on the real lin...
read it

Simple Stochastic Games with AlmostSure EnergyParity Objectives are in NP and coNP
We study stochastic games with energyparity objectives, which combine q...
read it

Coordination Games on Weighted Directed Graphs
We study strategic games on weighted directed graphs, in which the payof...
read it

Open Problems in a Logic of Gossips
Gossip protocols are programs used in a setting in which each agent hold...
read it

Improving the complexity of Parys' recursive algorithm
Parys has recently proposed a quasipolynomial version of Zielonka's rec...
read it

OmegaRegular Objectives in ModelFree Reinforcement Learning
We provide the first solution for modelfree reinforcement learning of ω...
read it

On Strong NPCompleteness of Rational Problems
The computational complexity of the partition, 01 subset sum, unbounded...
read it

Common Knowledge in a Logic of Gossips
Gossip protocols aim at arriving, by means of pointtopoint or group co...
read it
Dominik Wojtczak
is this you? claim profile