Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

Description

This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019. The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools. Front Matter ....Pages i-xi Front Matter ....Pages 1-1 End-User Probabilistic Programming (Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto)....Pages 3-24 The Logical Path to Autonomous Cyber-Physical Systems (André Platzer)....Pages 25-33 Front Matter ....Pages 35-35 Model Checking Constrained Markov Reward Models with Uncertainties (Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen)....Pages 37-51 A Modest Approach to Modelling and Checking Markov Automata (Yuliya Butkova, Arnd Hartmanns, Holger Hermanns)....Pages 52-69 Finite Approximation of LMPs for Exact Verification of Reachability Properties (Gildas Kouko, Josée Desharnais, François Laviolette)....Pages 70-87 Front Matter ....Pages 89-89 Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes (Viraj Brian Wijesuriya, Alessandro Abate)....Pages 91-108 Strategy Representation by Decision Trees with Linear Classifiers (Pranav Ashok, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph H. Lampert, Viktor Toman)....Pages 109-128 Neural Network Precision Tuning (Arnault Ioualalen, Matthieu Martel)....Pages 129-143 Front Matter ....Pages 145-145 SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes (Pranav Ashok, Jan Křetínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger)....Pages 147-164 Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input (Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo)....Pages 165-181 State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings (Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke)....Pages 182-199 Front Matter ....Pages 201-201 Expected Cost Analysis of Attack-Defense Trees (Julia Eisentraut, Jan Křetínský)....Pages 203-221 A Process Algebra for (Delimited) Persistent Stochastic Non-Interference (Andrea Marin, Carla Piazza, Sabina Rossi)....Pages 222-238 Automated Game-Theoretic Verification of Security Systems (Chunyan Mu)....Pages 239-256 Front Matter ....Pages 257-257 Bayesian Abstraction of Markov Population Models (Luca Bortolussi, Francesca Cairoli)....Pages 259-276 UTOPIC: Under-Approximation Through Optimal Control (Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin)....Pages 277-291 Reducing Spreading Processes on Networks to Markov Population Models (Gerrit Großmann, Luca Bortolussi)....Pages 292-309 Front Matter ....Pages 311-311 Doping Tests for Cyber-Physical Systems (Sebastian Biewer, Pedro D’Argenio, Holger Hermanns)....Pages 313-331 Safety Guarantees for the Electricity Grid with Significant Renewables Generation (Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate)....Pages 332-349 WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving (Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards)....Pages 350-354 Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets (Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli)....Pages 355-360 Back Matter ....Pages 361-361