Quantitative Evaluation of Systems  19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings /  [electronic resource] : 
edited by Erika Ábrahám, Marco Paolieri. 
 - 1st ed. 2022. 
 - XVII, 399 p. 116 illus., 77 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  13479  1611-3349 ; .
 - Lecture Notes in Computer Science,  13479 .
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031163364 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-16336-4  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer science--Mathematics.<br/>Computer engineering.<br/>Computer networks .<br/>Software engineering.<br/>Artificial intelligence.<br/>Computer simulation.<br/>Theory of Computation.<br/>Mathematics of Computing.<br/>Computer Engineering and Networks.<br/>Software Engineering.<br/>Artificial Intelligence.<br/>Computer Modelling.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151