research
∙
08/22/2022
A robust class of languages of 2-nested words
Regular nested word languages (a.k.a. visibly pushdown languages) strict...
share
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
∙
01/18/2021
Computability of Data-Word Transductions over Different Data Domains
In this paper, we investigate the problem of synthesizing computable fun...
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
∙
02/19/2020
On Computability of Data Word Functions Defined by Transducers
In this paper, we investigate the problem of synthesizing computable fun...
research
∙
02/28/2019
Sequentiality of String-to-Context Transducers
Transducers extend finite state automata with outputs, and describe tran...
research
∙
12/03/2018