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

Scenario-Based Verification of Uncertain MDPs

Cubuktepe, Murat ; Jansen, Nils (Corresponding author) ; Junges, Sebastian^RWTH* ; Katoen, Joost-Pieter ; Topcu, Ufuk

In
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, Seiten/Artikel-Nr: 287-305

2020

Konferenz/Event:26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , online , TACAS 2020 , 2020-04-25 - 2020-04-30

Konferenz/Event:European Joint Conferences on Theory and Practice of Software , ETAPS 2020 , 2020-04-25 - 2020-04-30

ImpressumCham : Springer International Publishing

Umfang287-305

ISBN978-3-030-45189-9, 978-3-030-45190-5, 978-3-030-45191-2

ReiheLecture Notes in Computer Science ; 12078, Theoretical Computer Science and General Issues

Online
DOI: 10.1007/978-3-030-45190-5_16
10.1007/978-3-030-45190-5_16

Einrichtungen

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

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-85083980604
WOS Core Collection: WOS:001288732400016

Interne Identnummern
RWTH-2020-07484
Datensatz-ID: 794207

Beteiligte Länder
Germany