Quantitative Evaluation of Systems

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.- 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.