research
∙
02/11/2021
A Logic for Conditional Local Strategic Reasoning
We consider systems of rational agents who act and interact in pursuit o...
share
research
∙
12/29/2020
Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature
We study teams of agents that play against Nature towards achieving a co...
research
∙
12/28/2020
The temporal logic of coalitional goal assignments in concurrent multi-player games
We introduce and study a natural extension of the Alternating time tempo...
research
∙
12/22/2020
Model checking and model synthesisfrom partial models: a logic-based perspective
I consider the following generic scenario: an abstract model M of some '...
research
∙
05/02/2019
Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems
We develop a logic-based framework for formal specification and algorith...
research
∙
06/22/2017
Rational coordination with no communication or conventions
We study pure coordination games where in every outcome, all players hav...
research
∙
01/25/2012