13 citations · 26 across the 12 of their papers we have counts for
1 paper · 1 filter
Christel Baier, Norine Coenen, Bernd Finkbeiner +3
We present a causality-based algorithm for solving two-player reachability games represented by logical constraints. These games are a useful formalism to model a wide array of pro…