LEADER 04783nam 22007455 450 001 9910427699603321 005 20250626121156.0 010 $a3-030-59854-3 024 7 $a10.1007/978-3-030-59854-9 035 $a(CKB)4100000011558767 035 $a(DE-He213)978-3-030-59854-9 035 $a(MiAaPQ)EBC6383546 035 $a(PPN)252506634 035 $a(EXLCZ)994100000011558767 100 $a20201102d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aQuantitative Evaluation of Systems $e17th International Conference, QEST 2020, Vienna, Austria, August 31 ? September 3, 2020, Proceedings /$fedited by Marco Gribaudo, David N. Jansen, Anne Remke 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XI, 298 p. 209 illus., 44 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12289 300 $aIncludes index. 311 08$a3-030-59853-5 327 $aMachine Learning for Reliability Analysis of Large Scale Distributed Systems -- Tracking the Race Between Deep Reinforcement Learning and Imitation Learning -- SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis -- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks -- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism -- Probabilistic Model Checking of AODV -- Multi-player Equilibria Verification for Concurrent Stochastic Games -- Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers -- Bayesian Inference by Symbolic Model Checking -- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems -- A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues -- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis -- Bounding Mean First Passage Times in Population Continuous-Time Markov Chains -- Markovian Arrival Processes in Multi-Dimensions -- Automatic Pre- and Postconditions for Partial Differential Equations -- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study -- The Dynamic Fault Tree Rare Event Simulator -- Entropy Measurement of Concurrent Disorder -- Hardening Critical Infrastructure Networks Against Attacker Reconnaissance -- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels -- Flexible Nets -- Verifying Probabilistic Programs. . 330 $aThis book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12289 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer science$xMathematics 606 $aMathematical statistics 606 $aComputer networks 606 $aTheory of Computation 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aProbability and Statistics in Computer Science 606 $aComputer Communication Networks 606 $aMathematics of Computing 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer science$xMathematics. 615 0$aMathematical statistics. 615 0$aComputer networks. 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aProbability and Statistics in Computer Science. 615 24$aComputer Communication Networks. 615 24$aMathematics of Computing. 676 $a004.0151 702 $aGribaudo$b Marco$f1972- 702 $aJansen$b David N. 702 $aRemke$b Anne$f1980- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910427699603321 996 $aQuantitative Evaluation of Systems$92914390 997 $aUNINA