Amanote Research
Register
Sign In
Counterexamples in Probabilistic Model Checking
doi 10.1007/978-3-540-71209-1_8
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Tingting Han
Joost-Pieter Katoen
Publisher
Springer Berlin Heidelberg
Related search
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Shortest Counterexamples for Symbolic Model Checking of LTL With Past
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Advances and Challenges of Probabilistic Model Checking
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
Validation of Service Level Agreements Using Probabilistic Model Checking
Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Probabilistic Counterexamples via Causality to Fault Trees
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
