35 citations · 102 across the 24 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
Satisfiability and Model Checking of CTL* with Graded Path Modalities
Benjamin Aminof, Aniello Murano, Sasha Rubin
Graded path modalities count the number of paths satisfying a property, and generalize the existential (E) and universal (A) path modalities of CTL*. The resulting logic is called…
cs.LO2014★ 12 cited
First Cycle Games
Benjamin Aminof, Sasha Rubin
First cycle games (FCG) are played on a finite graph by two players who push a token along the edges until a vertex is repeated, and a simple cycle is formed. The winner is determi…