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:
- Program Analysis
- Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments
- Distribution Estimation for Probabilistic Loops
- An Automated Quantitative Information Flow Analysis for Concurrent Programs
- Parameter Synthesis
- Rate Lifting for Stochastic Process Algebra – Exploiting Structural Properties –
- End-to-End Statistical Model Checking for Parametric ODE Models
- POMDP Controllers with Optimal Budget
- Markovian Agents and Population Models
- A Logical Framework for Reasoning About Local and Global Properties of Collective Systems
- Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-Scaling
- Dynamical Systems
- An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations
- Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
- Tools
- LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
- LN: A Meta-solver for Layered Queueing Network Analysis
- Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows
- Applications
- Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model Checking
- Analysis of an Electric Vehicle Charging System Along a Highway
- Verifier’s Dilemma in Ethereum Blockchain: A Quantitative Analysis
- Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks
- Automata Theory and Applications
- Mirrors and Memory in Quantum Automata
- 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