![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
16th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.