國立虎尾科技大學 |

Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Quantitative Evaluation of Systems/ edited by Erika Ábrahám, Marco Paolieri.
其他題名:	19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
其他作者:	Paolieri, Marco.
面頁冊數:	XVII, 399 p. 116 illus., 77 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer Modelling. -
電子資源:	https://doi.org/10.1007/978-3-031-16336-4
ISBN:	9783031163364

Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
Quantitative Evaluation of Systems19th 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,134791611-3349 ;. - Lecture Notes in Computer Science,9324.

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 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.

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.

ISBN: 9783031163364

Standard No.: 10.1007/978-3-031-16336-4doiSubjects--Topical Terms:

1365730
Computer Modelling.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Quantitative Evaluation of Systems = 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings /
LDR:03567nam a22004095i 4500 001 1083028
003 DE-He213
005 20220910190704.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031163364 $9 978-3-031-16336-4
024 7 $a 10.1007/978-3-031-16336-4 $2 doi
035 $a 978-3-031-16336-4
050 4 $a QA75.5-76.95
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
245 1 0 $a Quantitative Evaluation of Systems $h [electronic resource] : $b 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / $c edited by Erika Ábrahám, Marco Paolieri.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XVII, 399 p. 116 illus., 77 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13479
505 0 $a 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 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.
520 $a 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.
650 2 4 $a Computer Modelling. $3 1365730
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Computer Engineering and Networks. $3 1365733
650 2 4 $a Mathematics of Computing. $3 669457
650 1 4 $a Theory of Computation. $3 669322
650 0 $a Computer simulation. $3 560190
650 0 $a Artificial intelligence. $3 559380
650 0 $a Software engineering. $3 562952
650 0 $a Computer networks . $3 1365720
650 0 $a Computer engineering. $3 569006
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Computer science. $3 573171
700 1 $a Paolieri, Marco. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1113533
700 1 $a Ábrahám, Erika. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1267342
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031163357
776 0 8 $i Printed edition: $z 9783031163371
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-16336-4
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)