12 citations · 21 across the 10 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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…