Up a level |
Number of items: 1.
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.
Up a level |
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.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000