Skip to main content
SpringerLink
Log in
Book cover

Quantitative Evaluation of Systems

16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. David Parker

    1. University of Birmingham, Birmingham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Verena Wolf

    1. Saarland University, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11785)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: QEST 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Invited Talks

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. End-User Probabilistic Programming

      • Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto
      Pages 3-24

    3. The Logical Path to Autonomous Cyber-Physical Systems

      • André Platzer
      Pages 25-33

  3. Probabilistic Verification

    1. Front Matter

      Pages 35-35
      Download chapter PDF

    2. Model Checking Constrained Markov Reward Models with Uncertainties

      • Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
      Pages 37-51

    3. A Modest Approach to Modelling and Checking Markov Automata

      • Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
      Pages 52-69

    4. Finite Approximation of LMPs for Exact Verification of Reachability Properties

      • Gildas Kouko, Josée Desharnais, François Laviolette
      Pages 70-87

  4. Learning and Verification

    1. Front Matter

      Pages 89-89
      Download chapter PDF

    2. Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes

      • Viraj Brian Wijesuriya, Alessandro Abate
      Pages 91-108

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

    4. Neural Network Precision Tuning

      • Arnault Ioualalen, Matthieu Martel
      Pages 129-143

  5. Hybrid Systems

    1. Front Matter

      Pages 145-145
      Download chapter PDF

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

    3. Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input

      • Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
      Pages 165-181

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

  6. Security

    1. Front Matter

      Pages 201-201
      Download chapter PDF

    2. Expected Cost Analysis of Attack-Defense Trees

      • Julia Eisentraut, Jan Křetínský
      Pages 203-221

    3. A Process Algebra for (Delimited) Persistent Stochastic Non-Interference

      • Andrea Marin, Carla Piazza, Sabina Rossi
      Pages 222-238

    4. Automated Game-Theoretic Verification of Security Systems

      • Chunyan Mu
      Pages 239-256
Back to top

Other volumes

  1. Quantitative Evaluation of Systems

Keywords

About this book

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.

Editors and Affiliations

  • University of Birmingham, Birmingham, UK

    David Parker

  • Saarland University, Saarbrücken, Germany

    Verena Wolf

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation