Monografie

Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration

Sprache
Englisch
Identifier
1309052611

Beteiligte Personen und Organisationen
Winkler, Tobias
Katoen, Joost-Pieter

DOI
10.18154/RWTH-2023-10303
URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
09.01.2024, 09:53 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)