Quantitative Evaluation of Systems 1st Edition by Erika Ábrahám, Marco Paolieri ISBN 9783031163357 3031163354

Quantitative Evaluation of Systems 1st Edition by Erika Ábrahám, Marco Paolieri – Ebook PDF Instant Download/Delivery: 9783031163357 ,3031163354
Full download Quantitative Evaluation of Systems 1st Edition after payment

Product details:

ISBN 10: 3031163354
ISBN 13: 9783031163357
Author: Erika Ábrahám, Marco Paolieri

Quantitative Evaluation of Systems 1st Edition Table of contents:

1. Program Analysis
2. Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments
3. Distribution Estimation for Probabilistic Loops
4. An Automated Quantitative Information Flow Analysis for Concurrent Programs
5. Parameter Synthesis
6. Rate Lifting for Stochastic Process Algebra – Exploiting Structural Properties –
7. End-to-End Statistical Model Checking for Parametric ODE Models
8. POMDP Controllers with Optimal Budget
9. Markovian Agents and Population Models
10. A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
11. Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling
12. Dynamical Systems
13. An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations
14. Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
15. Tools
16. LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
17. LN: A Meta-solver for Layered Queueing Network Analysis
18. Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows
19. Applications
20. Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking
21. Analysis of an Electric Vehicle Charging System Along a Highway
22. Verifier’s Dilemma in Ethereum Blockchain: A Quantitative Analysis
23. Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks
24. Automata Theory and Applications
25. Mirrors and Memory in Quantum Automata
26. Monte Carlo Tree Search for Priced Timed Automata

People also search for Quantitative Evaluation of Systems 1st Edition:

    
which of the following job evaluation systems is quantitative
    
quantitative evaluation of embedded systems
    
what is quantitative evaluation
    
quantitative evaluation methods
    
quantitative evaluation process

Tags: Erika Ábrahám, Marco Paolieri, Quantitative Evaluation, Systems