Quantitative Evaluation of Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 On the Additive Capacity Problem for Quantitative Information Flow
3. Altmetric Badge
   Chapter 2 HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
4. Altmetric Badge
   Chapter 3 How Fast Is MQTT?
5. Altmetric Badge
   Chapter 4 Parameter-Independent Strategies for pMDPs via POMDPs
6. Altmetric Badge
   Chapter 5 On the Verification of Weighted Kripke Structures Under Uncertainty
7. Altmetric Badge
   Chapter 6 Hospital Inventory Management Through Markov Decision Processes @runtime
8. Altmetric Badge
   Chapter 7 Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
9. Altmetric Badge
   Chapter 8 Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties
10. Altmetric Badge
    Chapter 9 Incremental Verification of Parametric and Reconfigurable Markov Chains
11. Altmetric Badge
    Chapter 10 Lumping the Approximate Master Equation for Multistate Processes on Complex Networks
12. Altmetric Badge
    Chapter 11 Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems
13. Altmetric Badge
    Chapter 12 Action and State Based Computation Tree Measurement Language and Algorithms
14. Altmetric Badge
    Chapter 13 Model Checking for Safe Navigation Among Humans
15. Altmetric Badge
    Chapter 14 Automated Verification of Concurrent Stochastic Games
16. Altmetric Badge
    Chapter 15 Bounded Verification of Reachability of Probabilistic Hybrid Systems
17. Altmetric Badge
    Chapter 16 Control and Optimization of the SRPT Service Policy by Frequency Scaling
18. Altmetric Badge
    Chapter 17 Biased Processor Sharing in Fork-Join Queues
19. Altmetric Badge
    Chapter 18 Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference
20. Altmetric Badge
    Chapter 19 LIFT: Learning Fault Trees from Observational Data
21. Altmetric Badge
    Chapter 20 A Robust Genetic Algorithm for Learning Temporal Specifications from Data
22. Altmetric Badge
    Chapter 21 A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
23. Altmetric Badge
    Chapter 22 Policy Synthesis for Collective Dynamics
24. Altmetric Badge
    Chapter 23 Modeling Humans: A General Agent Model for the Evaluation of Security
25. Altmetric Badge
    Chapter 24 Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach
26. Altmetric Badge
    Chapter 25 On Saturation Effects in Coupled Speed Scaling