This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.
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
LayeredQueueing 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.- Verifiers 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.
