guest ::
Model checking hyperproperties for Markov decision processes
; ; ;
In
Special Issue on 11th Int. Symp. on Games, Automata, Logics and Formal Verification / Edited by Jean Francois Raskin, Davide Bresolin
In
Information and Computation 289(Part B), Seiten/Artikel-Nr.:104978
2022
Online
DOI: 10.1016/j.ic.2022.104978
Einrichtungen
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85142778977
WOS Core Collection: WOS:000918305800005
OpenAlex: W4307454606
Interne Identnummern
RWTH-2023-00076
Datensatz-ID: 861552
Beteiligte Länder
Austria, Germany, USA
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; Essential Science Indicators ; IF < 5 ; JCR ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |