research
∙
01/25/2023
Sub-game optimal strategies in concurrent games with prefix-independent objectives
We investigate concurrent two-player win/lose stochastic games on finite...
share
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
∙
07/15/2022
Zone-based verification of timed automata: extrapolations, simulations and what next?
Timed automata have been introduced by Rajeev Alur and David Dill in the...
research
∙
05/03/2022
Half-Positional Objectives Recognized by Deterministic Büchi Automata
A central question in the theory of two-player games over graphs is to u...
research
∙
03/14/2022
Playing (Almost-)Optimally in Concurrent Büchi and co-Büchi Games
We study two-player concurrent stochastic games on finite graphs, with B...
research
∙
10/27/2021
Optimal strategies in concurrent reachability games
We study two-player reachability games on finite graphs. At each state t...
research
∙
10/04/2021
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs
We consider zero-sum games on infinite graphs, with objectives specified...
research
∙
07/21/2021
Finite-memory strategies in two-player infinite games
We study infinite two-player win/lose games (A,B,W) where A,B are finite...
research
∙
07/08/2021
From local to global determinacy in concurrent graph games
In general, finite concurrent two-player reachability games are only det...
research
∙
02/19/2021
Arena-Independent Finite-Memory Determinacy in Stochastic Games
We study stochastic zero-sum games on graphs, which are prevalent tools ...
research
∙
09/28/2020
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an in...
research
∙
08/24/2020
Taming denumerable Markov decision processes with decisiveness
Decisiveness has proven to be an elegant concept for denumerable Markov ...
research
∙
08/09/2020
Synthesizing safe coalition strategies
Concurrent games with a fixed number of agents have been thoroughly stud...
research
∙
02/18/2020
Synthesis in Presence of Dynamic Links
The problem of distributed synthesis is to automatically generate a dist...
research
∙
01/13/2020
Decisiveness of Stochastic Systems and its Application to Hybrid Models
In [ABM07], Abdulla et al. introduced the concept of decisiveness, an in...
research
∙
01/12/2020
Games Where You Can Play Optimally with Finite Memory
For decades, two-player (antagonistic) games on graphs have been a frame...
research
∙
12/15/2019
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Broadcast networks allow one to model networks of identical nodes commun...
research
∙
06/18/2019
Nash equilibria in games over graphs equipped with a communication mechanism
We study pure Nash equilibria in infinite-duration games on graphs, with...
research
∙
05/27/2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
Temporal logics are extensively used for the specification of on-going b...
research
∙
11/20/2018
Identifiers in Registers - Describing Network Algorithms with Logic
We propose a formal model of distributed computing based on register aut...
research
∙
09/10/2018
Multi-weighted Markov Decision Processes with Reachability Objectives
In this paper, we are interested in the synthesis of schedulers in doubl...
research
∙
10/19/2017
Games on graphs with a public signal monitoring
We study Nash equilibria in games on graphs with an imperfect monitoring...
research
∙
09/06/2017
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification
This volume contains the proceedings of the Eighth International Symposi...
research
∙
08/19/2017