000 04435nam a22006375i 4500
001 978-3-031-16336-4
003 DE-He213
005 20240423125024.0
007 cr nn 008mamaa
008 220910s2022 sz | s |||| 0|eng d
020 _a9783031163364
_9978-3-031-16336-4
024 7 _a10.1007/978-3-031-16336-4
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aQuantitative Evaluation of Systems
_h[electronic resource] :
_b19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
_cedited by Erika Ábrahám, Marco Paolieri.
250 _a1st ed. 2022.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2022.
300 _aXVII, 399 p. 116 illus., 77 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13479
505 0 _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 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.
520 _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.
650 0 _aComputer science.
650 0 _aComputer science
_xMathematics.
650 0 _aComputer engineering.
650 0 _aComputer networks .
650 0 _aSoftware engineering.
650 0 _aArtificial intelligence.
650 0 _aComputer simulation.
650 1 4 _aTheory of Computation.
650 2 4 _aMathematics of Computing.
650 2 4 _aComputer Engineering and Networks.
650 2 4 _aSoftware Engineering.
650 2 4 _aArtificial Intelligence.
650 2 4 _aComputer Modelling.
700 1 _aÁbrahám, Erika.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPaolieri, Marco.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031163357
776 0 8 _iPrinted edition:
_z9783031163371
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13479
856 4 0 _uhttps://doi.org/10.1007/978-3-031-16336-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c173327
_d173327