Up a level |
Number of items: 2.
Fearnley, JS
(2017)
Efficient Parallel Strategy Improvement for Parity Games.
In: 29th International Conference on Computer Aided Verification CAV 2017, 2017-7-24 - 2017-7-28, Heidelberg, Germany.
Chatterjee, K, Ibsen-Jensen, R and Pavlogiannis, A
(2016)
Optimal reachability and a space-time tradeoff for distance queries in constant-treewidth graphs.
.