guest ::
Stochastic games with lexicographic objectives
; ; ; ;
In
Special issue on 'CAV 2020 - 2021'
In
Formal methods in system design 63(1/3), Seiten/Artikel-Nr.:40-80
2024 & 2023
Published: 08 March 2023
Online
DOI: 10.18154/RWTH-2023-03042
DOI: 10.1007/s10703-023-00411-4
URL: http://publications.rwth-aachen.de/record/954240/files/954240.pdf
Einrichtungen
- Graduiertenkolleg UnRAVeL (080060)
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Projekte
- OA - Open Access Publikation mit Unterstützung der Universitätsbibliothek der RWTH Aachen University (X021000-OA) (X021000-OA)
- GRK 2236 - UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic (282652900) (282652900)
- Statistische unbegrenzte Überprüfung (383882557) (383882557)
- Group-by-Ziele bei der probabilistichen Verifikation (427755713) (427755713)
- GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (378803395) (378803395)
- MISSION - Models in Space Systems: Integration, Operation, and Networking (101008233) (101008233)
- Formal Methods for Stochastic Models: Algorithms and Applications (863818) (863818)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85149479925
WOS Core Collection: WOS:000946174300001
Interne Identnummern
RWTH-2023-03042
Datensatz-ID: 954240
Beteiligte Länder
Austria, Germany
; ; 
; 
; Clarivate Analytics Master Journal List ; Clarivate Analytics Master Journal List ; DEAL Springer ; DEAL Springer ; Essential Science Indicators ; Essential Science Indicators ; IF < 5 ; IF < 5 ; JCR ; JCR ; Nationallizenz
; Nationallizenz ; SCOPUS ; SCOPUS ; Science Citation Index Expanded ; Science Citation Index Expanded ; Web of Science Core Collection ; Web of Science Core Collection
PDF