Quantitative Evaluation of Systems: 17th International Conference, Qest 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

ISBN-13: 9783030598532 / Angielski / Miękka / 2020 / 298 str.

Marco Gribaudo; David N. Jansen; Anne Remke

Spis treści

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