research
∙
05/17/2023
Games on Graphs
The objective of this collaborative textbook is to present the state of ...
share
research
∙
04/26/2022
Distributed controller synthesis for deadlock avoidance
We consider the distributed control synthesis problem for systems with l...
research
∙
10/27/2021
Distributed Asynchronous Games With Causal Memory are Undecidable
We show the undecidability of the controller synthesis problem when both...
research
∙
09/19/2021
Constrained School Choice with Incomplete Information
School choice is the two-sided matching market where students (on one si...
research
∙
02/23/2020
A Bridge between Polynomial Optimization and Games with Imperfect Recall
We provide several positive and negative complexity results for solving ...
research
∙
04/08/2019
On popularity-based random matching markets
Stable matching in a community consisting of N men and N women is a clas...
research
∙
02/12/2018
Alternating Nonzero Automata
We introduce a new class of automata on infinite trees called alternatin...
research
∙
02/09/2018
The Monadic Second Order Theory of Grid-Free 1-Safe Petri Nets is Decidable
Finite 1-safe Petri nets, also called net systems, are natural models of...
research
∙
12/12/2016