activity
20062023
most citedAlgorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

93 citations · 141 across the 18 of their papers we have counts for

collaborators
Showing 2020 · cs.MAShow all

1 paper · 2 filters

cs.MA2020

Knowledge-Based Strategies for Multi-Agent Teams Playing Against Nature

Dilian Gurov, Valentin Goranko, Edvin Lundberg

We study teams of agents that play against Nature towards achieving a common objective. The agents are assumed to have imperfect information due to partial observability, and have…