Inproceedings,

Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.

, , , and .
ICALP, volume 198 of LIPIcs, page 124:1-124:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

Meta data

Tags

Users

  • @dblp

Comments and Reviews