Improved Set-Based Symbolic Algorithms for Parity Games

Improved Set-Based Symbolic Algorithms for Parity Games

Authors
  • Chatterjee, Krishnendu
  • Dvořák, Wolfgang
  • Henzinger, Monika
  • Loitzenbauer, Veronika
Grafik Top
Shortfacts
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