- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Aichernig, Bernhard K.
Tappler, Martin
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-019-00333-0
- URN
-
urn:nbn:de:101:1-2020031202055677514177
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Aichernig, Bernhard K.
- Tappler, Martin
- SpringerLink (Online service)
Other Objects (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