Quasipolynomial Set-Based Symbolic Algorithms for Parity Games

Quasipolynomial Set-Based Symbolic Algorithms for Parity Games

Authors
  • Chatterjee, Krishnendu
  • Dvořák, Wolfgang
  • Henzinger, Monika
  • Svozil, Alexander
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
Divisions
Theory and Applications of Algorithms
Subjects
Theoretische Informatik
Event Location
Awassa, Ethiopia
Event Type
Conference
Event Dates
16-21 November, 2018
Date
November 2018
Export
Grafik Top