LEADER 04696nam 22007695 450 001 9910592994703321 005 20230709191245.0 010 $a3-031-16336-2 024 7 $a10.1007/978-3-031-16336-4 035 $a(MiAaPQ)EBC7084576 035 $a(Au-PeEL)EBL7084576 035 $a(CKB)24819541500041 035 $a(DE-He213)978-3-031-16336-4 035 $a(PPN)264952944 035 $a(EXLCZ)9924819541500041 100 $a20220910d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aQuantitative Evaluation of Systems $e19th International Conference, QEST 2022, Warsaw, Poland, September 12?16, 2022, Proceedings /$fedited by Erika Ábrahám, Marco Paolieri 205 $a1st ed. 2022. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022. 215 $a1 online resource (406 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13479 311 08$aPrint version: Ábrahám, Erika Quantitative Evaluation of Systems Cham : Springer International Publishing AG,c2022 9783031163357 320 $aIncludes bibliographical references and index. 327 $aProgram 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13479 606 $aComputer science 606 $aComputer science?Mathematics 606 $aComputer engineering 606 $aComputer networks 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer simulation 606 $aTheory of Computation 606 $aMathematics of Computing 606 $aComputer Engineering and Networks 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aComputer Modelling 615 0$aComputer science. 615 0$aComputer science?Mathematics. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer simulation. 615 14$aTheory of Computation. 615 24$aMathematics of Computing. 615 24$aComputer Engineering and Networks. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aComputer Modelling. 676 $a004.24 702 $aA?braha?m$b Erika 702 $aPaolieri$b Marco 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910592994703321 996 $aQuantitative Evaluation of Systems$92914390 997 $aUNINA