Logo der Universität Wien

Improved Set-Based Symbolic Algorithms for Parity Games

Citation
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden
Divisions
Theory and Applications of Algorithms
Subjects
Theoretische Informatik
Event Location
Stockholm
Event Type
Conference
Event Dates
20-24 August 2017
Page Range
18:1-18:21
Date
2017
Official URL
https://doi.org/10.4230/LIPIcs.CSL.2017.18
Export
Grafik Top
Contact us
Faculty of Computer Science
University of Vienna

Währinger Straße 29
A-1090 Vienna