research
∙
05/01/2023
Multi-Agent Systems with Quantitative Satisficing Goals
In the study of reactive systems, qualitative properties are usually eas...
share
research
∙
05/02/2022
Verification and Realizability in Finite-Horizon Multiagent Systems
The problems of verification and realizability are two central themes in...
research
∙
01/03/2021
