research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
05/07/2023
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism
We study transformations of automata and games using Muller conditions i...
research
∙
03/15/2023
WikiCoder: Learning to Write Knowledge-Powered Code
We tackle the problem of automatic generation of computer programs from ...
research
∙
12/22/2022
Playing Safe, Ten Years Later
We consider two-player games over graphs and give tight bounds on the me...
research
∙
10/18/2022
How to Play Optimally for Regular Objectives?
This paper studies two-player zero-sum games played on graphs and makes ...
research
∙
10/24/2021
Scaling Neural Program Synthesis with Distribution-based Search
We consider the problem of automatically constructing computer programs ...
research
∙
10/13/2021
Scalable Anytime Algorithms for Learning Formulas in Linear Temporal Logic
Linear temporal logic (LTL) is a specification language for finite seque...
research
∙
09/17/2021
New Algorithms for Combinations of Objectives using Separating Automata
The notion of separating automata was introduced by Bojanczyk and Czerwi...
research
∙
04/12/2021
The Theory of Universal Graphs for Infinite Duration Games
We introduce the notion of universal graphs as a tool for constructing a...
research
∙
02/01/2021
The Complexity of Learning Linear Temporal Formulas from Examples
In this paper we initiate the study of the computational complexity of l...
research
∙
02/10/2020
Alternating Tree Automata with Qualitative Semantics
We study alternating automata with qualitative semantics over infinite b...
research
∙
12/21/2019
Lower bounds for the state complexity of probabilistic languages and the language of prime numbers
This paper studies the complexity of languages of finite words using aut...
research
∙
11/06/2019
Data Generation for Neural Programming by Example
Programming by example is the problem of synthesizing a program from a s...
research
∙
11/04/2019
Controlling a random population
Bertrand et al. introduced a model of parameterised systems, where each ...
research
∙
10/11/2019
Verification of Neural Networks: Specifying Global Robustness using Generative Models
The success of neural networks across most machine learning tasks and th...
research
∙
07/18/2019
On the Monniaux Problem in Abstract Interpretation
The Monniaux Problem in abstract interpretation asks, roughly speaking, ...
research
∙
12/17/2018
The complexity of mean payoff games using universal graphs
We study the computational complexity of solving mean payoff games. This...
research
∙
10/11/2018
Parity games and universal graphs
This paper is a contribution to the study of parity games and the recent...
research
∙
07/27/2018
Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
Several distinct techniques have been proposed to design quasi-polynomia...
research
∙
02/19/2018
On the Decidability of Reachability in Linear Time-Invariant Systems
We consider the decidability of state-to-state reachability in linear ti...
research
∙
01/29/2018
An Optimal Value Iteration Algorithm for Parity Games
The quest for a polynomial time algorithm for solving parity games gaine...
research
∙
09/10/2017
Monadic Second-Order Logic with Arbitrary Monadic Predicates
We study Monadic Second-Order Logic (MSO) over finite words, extended wi...
research
∙
01/09/2017