5 citations · 7 across the 13 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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…
cs.SE2020★ 5 cited
Formal Methods: From Academia to Industrial Practice. A Travel Guide
Marieke Huisman, Dilian Gurov, Alexander Malkis
For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong bel…