TY  - BOOK
AU  - Ábrahám,Erika
AU  - Paolieri,Marco
TI  - Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031163364
U1  - 004.0151 23
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer science
KW  - Computer science-Mathematics
KW  - Computer engineering
KW  - Computer networks 
KW  - Software engineering
KW  - Artificial intelligence
KW  - Computer simulation
KW  - Theory of Computation
KW  - Mathematics of Computing
KW  - Computer Engineering and Networks
KW  - Software Engineering
KW  - Artificial Intelligence
KW  - Computer Modelling
N1  - 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
N2  - 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
UR  - https://doi.org/10.1007/978-3-031-16336-4
ER  -