000 04536nam a22006375i 4500
001 978-3-031-16336-4
003 DE-He213
005 20240730165521.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.
_99832
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer simulation.
_95106
650 1 4 _aTheory of Computation.
_989313
650 2 4 _aMathematics of Computing.
_931875
650 2 4 _aComputer Engineering and Networks.
_989314
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Modelling.
_989315
700 1 _aÁbrahám, Erika.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989316
700 1 _aPaolieri, Marco.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_989317
710 2 _aSpringerLink (Online service)
_989318
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
_923263
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 _cELN
999 _c86363
_d86363