Description |
1 online resource (xi, 361 pages) : illustrations (some color) |
Series |
Lecture notes in computer science, 1611-3349 ;; 11785 |
|
LNCS sublibrary: SL1, Theoretical computer science and general issues |
|
Lecture notes in computer science ;; 11785.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Intro;; Preface;; Organization;; Contents;; Invited Talks;; End-User Probabilistic Programming;; 1 Introduction;; 1.1 Background: Spreadsheets and End-User Programming;; 1.2 Background: Probabilistic Programming;; 1.3 Bringing Probabilistic Programming to the Spreadsheet;; 1.4 How Would Probabilistic Programming Help Spreadsheet Users?;; 2 Spreadsheet Extensions for Uncertainty;; 2.1 Example: Clara's Budget;; 2.2 Managing Uncertainty with Uncertain Values;; 2.3 Managing Uncertainty with Sheet-Defined Functions;; 3 End-User Behaviour with Uncertainty;; 3.1 Interview Study;; 3.2 Findings |
|
4 Design Implications of the Interview Study5 Conclusions;; References;; The Logical Path to Autonomous Cyber-Physical Systems;; 1 Introduction;; 2 Challenge;; 3 Approach;; 4 Summary and Outlook;; References;; Probabilistic Verification;; Model Checking Constrained Markov Reward Models with Uncertainties;; 1 Introduction;; 2 Preliminaries and Notation;; 3 Markov Reward Models;; 4 Constrained Markov Reward Models;; 5 Analysing Bisimilarity on Constrained MRMs;; 6 Model Checking Constrained MRMs;; 7 Markov Models with Stochastic Rewards;; 8 Conclusion;; References |
|
A Modest Approach to Modelling and Checking Markov Automata1 Introduction;; 2 Markov Automata;; 3 Modelling;; 3.1 Modest for Markov Automata;; 3.2 Alternative Modelling Languages;; 4 Algorithms;; 4.1 Untimed and Expected-Reward Properties;; 4.2 Time-Bounded Reachability;; 4.3 Long-Run Average Rewards;; 4.4 Other Verification Problems;; 5 Experiments;; 5.1 mcsta and Imca;; 5.2 mcsta and Storm;; 6 Conclusion;; References;; Finite Approximation of LMPs for Exact Verification of Reachability Properties;; 1 Introduction;; 2 Preliminaries;; 3 The Mean MDP;; 3.1 Mean of a Probability Transition;; 3.2 From LMP to MDP |
|
3.3 The Reachability Property in S and S_U4 Analysis of the Mean MDP;; 4.1 Possible Extension, Simplification and Reusability;; 4.2 Error Analysis at Implementation -- Comparison of S_ and S_";";0362S_;; 5 Conclusion;; References;; Learning and Verification;; Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes;; 1 Introduction;; 1.1 Related Work;; 2 Rudiments;; 2.1 Markov Decision Processes;; 2.2 Strategies;; 2.3 Bayesian Reinforcement Learning (Bayesian RL);; 2.4 PCTL Properties;; 3 Verification and Learning;; 3.1 Parameter Synthesis;; 3.2 Bayesian Inference |
|
3.3 Confidence Computation3.4 Overview of the Approach;; 4 Active Learning;; 4.1 Bayes-Adaptive Model;; 4.2 Synthesis of Bayes-Adaptive Strategies;; 4.3 Bayes-Adaptive Temporal Difference Search;; 5 Experiments;; 5.1 Setup;; 5.2 Results;; 6 Conclusions and Future Work;; References;; Strategy Representation by Decision Trees with Linear Classifiers;; 1 Introduction;; 2 Stochastic Graph Games and Strategies;; 3 Decision Trees and Decision Tree Learning;; 4 Decision Trees with Linear Classifiers;; 4.1 Linear Classifiers in the Leaf Nodes;; 4.2 Splitting Criterion for Small Decision Trees with Classifiers |
Summary |
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 |
Bibliography |
Includes bibliographical references and index |
Notes |
Online resource;; title from PDF title page (SpringerLink, viewed September 19, 2019) |
Subject |
Computer systems -- Evaluation -- Congresses
|
|
Computer networks -- Evaluation -- Congresses
|
|
Reliability (Engineering) -- Congresses
|
|
Computer networks -- Evaluation
|
|
Computer systems -- Evaluation
|
|
Reliability (Engineering)
|
Genre/Form |
Electronic books
|
|
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Parker, David, 1977- editor.
|
|
Wolf, Verena, 1972- editor.
|
ISBN |
9783030302818 |
|
3030302814 |
|