◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

D. Gurov

15 papers hereh-index 181k citations117 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author4
  • middle author6
  • last author5

Across the 15 of 15 papers where every author was matched, so the position is known.

fields
  • cs.LO5
  • cs.SE4
  • cs.MA3
  • cs.CR1
  • cs.DM1
  • cs.FL1

identity via Semantic Scholar / OpenAlex

activity
20152025
most citedFormal Methods: From Academia to Industrial Practice. A Travel Guide

5 citations · 7 across the 13 of their papers we have counts for

collaborators
Showing cs.MAShow all

3 papers · 1 filter

cs.MA2025

Unattainability of Common Knowledge in Asymmetric Games with Imperfect Information

Fabian Farestam, Dilian Gurov

In this paper, we present a conceptual model game to examine the dynamics of asymmetric interactions in games with imperfect information. The game involves two agents with starkly…

cs.MA2024

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies

Dilian Gurov, Filip Jamroga, Wojciech Jamroga +4

Model checking of strategic abilities for agents with memory is a notoriously hard problem, and very few attempts have been made to tackle it. In this paper, we present two importa…

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…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.