1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Positional Properties in Temporal Logic
Jessica Newman, Benjamin Plummer
We study positional properties in the context of game-based reactive synthesis. Our motivation stems from having a usable specification logic, for which tractable synthesis is guar…
cs.LO2026★ 1 cited
Traces via Strategies in Two-Player Games
Benjamin Plummer, Corina Cirstea
Traces form a coarse notion of semantic equivalence between states of a process, and have been studied coalgebraically for various types of system. We instantiate the finitary coal…