default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th QEST 2019: Glasgow, UK
- David Parker, Verena Wolf:
Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Lecture Notes in Computer Science 11785, Springer 2019, ISBN 978-3-030-30280-1
Invited Talks
- Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto:
End-User Probabilistic Programming. 3-24 - André Platzer
:
The Logical Path to Autonomous Cyber-Physical Systems. 25-33
Probabilistic Verification
- Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen:
Model Checking Constrained Markov Reward Models with Uncertainties. 37-51 - Yuliya Butkova, Arnd Hartmanns, Holger Hermanns:
A Modest Approach to Modelling and Checking Markov Automata. 52-69 - Gildas Kouko, Josée Desharnais, François Laviolette:
Finite Approximation of LMPs for Exact Verification of Reachability Properties. 70-87
Learning and Verification
- Viraj Brian Wijesuriya, Alessandro Abate:
Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. 91-108 - Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman:
Strategy Representation by Decision Trees with Linear Classifiers. 109-128 - Arnault Ioualalen, Matthieu Martel:
Neural Network Precision Tuning. 129-143
Hybrid Systems
- Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger:
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. 147-164 - Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo:
Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. 165-181 - Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke:
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. 182-199
Security
- Julia Eisentraut, Jan Kretínský:
Expected Cost Analysis of Attack-Defense Trees. 203-221 - Andrea Marin, Carla Piazza, Sabina Rossi:
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. 222-238 - Chunyan Mu:
Automated Game-Theoretic Verification of Security Systems. 239-256
Probabilistic Modelling and Abstraction
- Luca Bortolussi, Francesca Cairoli:
Bayesian Abstraction of Markov Population Models. 259-276 - Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
UTOPIC: Under-Approximation Through Optimal Control. 277-291 - Gerrit Großmann, Luca Bortolussi:
Reducing Spreading Processes on Networks to Markov Population Models. 292-309
Applications and Tools
- Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Doping Tests for Cyber-Physical Systems. 313-331 - Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate:
Safety Guarantees for the Electricity Grid with Significant Renewables Generation. 332-349 - Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards:
WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving. 350-354 - Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli:
Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. 355-360
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 12:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
