- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Probabilistic black-box reachability checking (extended version) ; volume:54 ; number:3 ; day:21 ; month:5 ; year:2019 ; pages:416-448 ; date:11.2019
Formal methods in system design ; 54, Heft 3 (21.5.2019), 416-448, 11.2019
- Urheber
-
Aichernig, Bernhard K.
Tappler, Martin
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-019-00333-0
- URN
-
urn:nbn:de:101:1-2020031202055677514177
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 14.08.2025, 10:47 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Aichernig, Bernhard K.
- Tappler, Martin
- SpringerLink (Online service)
Ähnliche Objekte (12)
Extended Directed Search for Probabilistic Timed Reachability
Ontology-Mediated Probabilistic Model Checking : Extended Version
Counterexamples for Timed Probabilistic Reachability
Sound black-box checking in the LearnLib
Verification of reachability properties and termination for probabilistic systems
Farkas certificates and minimal witnesses for probabilistic reachability constraints
Verification of Reachability Properties and Termination for Probabilistic Systems
Reduction methods for probabilistic model checking
Probabilistic model checking of cancer metabolism
Enhancing Probabilistic Model Checking with Ontologies
Advances in probabilistic model checking with PRISM
Certificates and Witnesses for Probabilistic Model Checking
Extended Directed Search for Probabilistic Timed Reachability
Ontology-Mediated Probabilistic Model Checking : Extended Version
Counterexamples for Timed Probabilistic Reachability
Sound black-box checking in the LearnLib
Verification of reachability properties and termination for probabilistic systems
Farkas certificates and minimal witnesses for probabilistic reachability constraints
Verification of Reachability Properties and Termination for Probabilistic Systems
Reduction methods for probabilistic model checking
Probabilistic model checking of cancer metabolism
Enhancing Probabilistic Model Checking with Ontologies
Advances in probabilistic model checking with PRISM
Certificates and Witnesses for Probabilistic Model Checking
Extended Directed Search for Probabilistic Timed Reachability
Ontology-Mediated Probabilistic Model Checking : Extended Version
Counterexamples for Timed Probabilistic Reachability
Sound black-box checking in the LearnLib
Verification of reachability properties and termination for probabilistic systems
Farkas certificates and minimal witnesses for probabilistic reachability constraints
Verification of Reachability Properties and Termination for Probabilistic Systems
Reduction methods for probabilistic model checking
Probabilistic model checking of cancer metabolism
Enhancing Probabilistic Model Checking with Ontologies
Advances in probabilistic model checking with PRISM