93 citations · 141 across the 18 of their papers we have counts for
24 papers
Structural theory of trees. II. Completeness and completions of trees
Valentin Goranko, Ruaan Kellerman, Alberto Zanardo
Trees are partial orderings where every element has a linearly ordered set of smaller elements. We define and study several natural notions of completeness of trees, extending Dede…
Structural theory of trees. I. Branching and condensations of trees
Valentin Goranko, Ruaan Kellerman, Alberto Zanardo
Trees are partial orders in which every element has a linearly ordered set of predecessors. Here we initiate the exploration of the structural theory of trees with the study of dif…
A Logic for Conditional Local Strategic Reasoning
Valentin Goranko, Fengkui Ju
We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an ext…
Model checking and model synthesisfrom partial models: a logic-based perspective
Valentin Goranko
I consider the following generic scenario: an abstract model M of some 'real' system is only partially presented, or partially known to us, and we have to ensure that the actual sy…
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…
The temporal logic of coalitional goal assignments in concurrent multi-player games
Sebastian Enqvist, Valentin Goranko
We introduce and study a natural extension of the Alternating time temporal logic ATL, called Temporal Logic of Coalitional Goal Assignments (TLCGA). It features just one, but quit…