research
∙
06/05/2023
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
In game theory, mechanism design is concerned with the design of incenti...
share
research
∙
07/06/2022
On the Complexity of Rational Verification
Rational verification refers to the problem of checking which temporal l...
research
∙
07/19/2021
Rational Verification for Probabilistic Systems
Rational verification is the problem of determining which temporal logic...
research
∙
06/18/2021
Equilibrium Design for Concurrent Games
In game theory, mechanism design is concerned with the design of incenti...
research
∙
09/28/2020
Parameterized Synthesis with Safety Properties
Parameterized synthesis offers a solution to the problem of constructing...
research
∙
08/13/2020