Gast ::
Stochastic Games with Lexicographic Reachability-Safety Objectives
; ; ;
In
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds), Seiten/Artikel-Nr: 398-420
2020
Weitere Reihe: Theoretical computer science and general issues
Online
DOI: 10.1007/978-3-030-53291-8_21
DOI: 10.18154/RWTH-2020-08028
URL: https://publications.rwth-aachen.de/record/795010/files/795010.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
- Graduiertenkolleg UnRAVeL (080060)
OpenAccess: 
PDF
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85089244249
WOS Core Collection: WOS:000695272500021
OpenAlex: W3021943918
Interne Identnummern
RWTH-2020-08028
Datensatz-ID: 795010
Beteiligte Länder
Austria, Germany
; 
; Nationallizenz
; SCOPUS
PDF