93 citations · 141 across the 18 of their papers we have counts for
Showing 2020 · cs.LOShow all
2 papers · 2 filters
cs.LO2020
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…
cs.LO2020
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…