research
∙
07/27/2023
An Automata Theoretic Characterization of Weighted First-Order Logic
Since the 1970s with the work of McNaughton, Papert and Schützenberger, ...
share
research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
research
∙
07/04/2022
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
Weighted Timed Games (WTG for short) are the most widely used model to d...
research
∙
05/03/2021
Playing Stochastically in Weighted Timed Games to Emulate Memory
Weighted timed games are two-player zero-sum games played in a timed aut...
research
∙
04/26/2021
Optimal controller synthesis for timed systems
Weighted timed games are zero-sum games played by two players on a timed...
research
∙
09/07/2020
One-Clock Priced Timed Games with Arbitrary Weights
Priced timed games are two-player zero-sum games played on priced timed ...
research
∙
05/11/2020
Reaching Your Goal Optimally by Playing at Random
Shortest-path games are two-player zero-sum games played on a graph equi...
research
∙
09/30/2019
Dynamics on Games: Simulation-Based Techniques and Applications to Routing
We consider multi-player games played on graphs, in which the players ai...
research
∙
12/03/2018