Approximating Values of Generalized-Reachability Stochastic Games

Ashok, Pranav (Corresponding author); Chatterjee, Krishnendu (Corresponding author); Křetínský, Jan (Corresponding author); Weininger, Maximilian (Corresponding author); Winkler, Tobias (Corresponding author)

New York, NY, United States : Association for Computing Machinery (2020)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020, Saarbrücken, Germany / sponsored by ACM Special Interest Group on Logic and Computation (SIGLOG), IEEE Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, European Association for Theoretical Computer Science (EATCS) ; conference chairs: Holger Hermanns, Lijun Zhang, Naoki Kobayashi
Page(s)/Article-Nr.: 102-115

Institutions

  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]

Identifier