http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

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)^RWTH*

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, Seiten/Artikel-Nr: 102-115

2020

Konferenz/Event:35. Annual ACM/IEEE Symposium on Logic in Computer Science , online , LICS '20 , 2020-07-08 - 2020-07-11

ImpressumNew York, NY, United States : Association for Computing Machinery

Umfang102-115

ISBN978-1-4503-7104-9

ReiheACM conferences

Online
DOI: 10.1145/3373718.3394761
10.1145/3373718.3394761

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)
3. Graduiertenkolleg UnRAVeL (080060)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85085951334
WOS Core Collection: WOS:000665014900010
OpenAlex: W2967125001

Interne Identnummern
RWTH-2020-08029
Datensatz-ID: 795011

Beteiligte Länder
Austria, Germany