001449486 000__ 04432cam\a2200589\i\4500
001449486 001__ 1449486
001449486 003__ OCoLC
001449486 005__ 20230310004403.0
001449486 006__ m\\\\\o\\d\\\\\\\\
001449486 007__ cr\un\nnnunnun
001449486 008__ 220913s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001449486 019__ $$a1344324572
001449486 020__ $$a9783031163364$$q(electronic bk.)
001449486 020__ $$a3031163362$$q(electronic bk.)
001449486 020__ $$z9783031163357$$q(print)
001449486 020__ $$z3031163354
001449486 0247_ $$a10.1007/978-3-031-16336-4$$2doi
001449486 035__ $$aSP(OCoLC)1344334855
001449486 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ
001449486 049__ $$aISEA
001449486 050_4 $$aQA76.9.E94
001449486 08204 $$a004.2/4$$223/eng/20220913
001449486 1112_ $$aInternational Conference on the Quantitative Evaluation of Systems$$n(19th :$$d2022 :$$cWarsaw, Poland ; Online)
001449486 24510 $$aQuantitative evaluation of systems :$$b19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings /$$cErika Ábrahám, Marco Paolieri (eds.).
001449486 2463_ $$aQEST 2022
001449486 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001449486 300__ $$a1 online resource (xvii, 399 pages) :$$billustrations (some color).
001449486 336__ $$atext$$btxt$$2rdacontent
001449486 337__ $$acomputer$$bc$$2rdamedia
001449486 338__ $$aonline resource$$bcr$$2rdacarrier
001449486 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13479
001449486 500__ $$aIncludes author index.
001449486 5050_ $$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.
001449486 506__ $$aAccess limited to authorized users.
001449486 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.
001449486 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 13, 2022).
001449486 650_0 $$aComputer systems$$xEvaluation$$vCongresses.
001449486 650_0 $$aComputer networks$$xEvaluation$$vCongresses.
001449486 650_0 $$aReliability (Engineering)$$vCongresses.
001449486 650_0 $$aStochastic processes$$vCongresses.
001449486 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001449486 655_0 $$aElectronic books.
001449486 7001_ $$aÁbrahám, Erika,$$eeditor.
001449486 7001_ $$aPaolieri, Marco,$$eeditor.
001449486 77608 $$iPrint version: $$z3031163354$$z9783031163357$$w(OCoLC)1338833925
001449486 830_0 $$aLecture notes in computer science ;$$v13479.$$x1611-3349
001449486 852__ $$bebk
001449486 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-16336-4$$zOnline Access$$91397441.1
001449486 909CO $$ooai:library.usi.edu:1449486$$pGLOBAL_SET
001449486 980__ $$aBIB
001449486 980__ $$aEBOOK
001449486 982__ $$aEbook
001449486 983__ $$aOnline
001449486 994__ $$a92$$bISE