18 citations · 100 across the 22 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 8 cited
Extended Computation Tree Logic
Roland Axelsson, Matthew Hague, Stephan Kreutzer +2
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may…
cs.GT2010★ 2 cited
Local Strategy Improvement for Parity Game Solving
Oliver Friedmann, Martin Lange
The problem of solving a parity game is at the core of many problems in model checking, satisfiability checking and program synthesis. Some of the best algorithms for solving parit…