qest logo
Accepted papers
Yuliya Butkova, Arnd Hartmanns and Holger Hermanns. A Modest Approach to Modelling and Checking Markov Automata
Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski and Andrea Vandin. UTOPIC: Under-Approximation Through Optimal Control
Julia Eisentraut and Jan Kretinsky. Expected Cost Analysis of Attack-Defense Trees
Pranav Ashok, Jan Kretinsky, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist and Maximilian Weininger. SOS: Safe, Optimal and Small Strategies for Stochastic Hybrid Games
Andrea Marin, Carla Piazza and Sabina Rossi. A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris and Anne Remke. State-space construction of HPnGs with multiple general transition firings
Gidon Ernst, Sean Sedwards, Zhenya Zhang and Ichiro Hasuo. Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input
Viraj Brian Wijesuriya and Alessandro Abate. Bayes-Adaptive Planning for Data-Efficient Verfication of Uncertain Markov Decision Processes
Arnault Ioualalen and Matthieu Martel. Neural Network Precision Tuning
Luca Bortolussi and Francesca Cairoli. Bayesian Abstraction of Markov Population Models
Chunyan Mu. Automated Game-Theoretic Verification of Security Systems
Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki and Sean Sedwards. WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving
Sebastian Biewer, Pedro R. D'Argenio and Holger Hermanns. Doping Tests for Cyber-Physical Systems
Giovanni Bacci, Mikkel Hansen and Kim Guldstrand Larsen. Model Checking Constrained Markov Reward Models with Uncertainties
Gildas Kouko and Josee Desharnais. Finite approximation of LMPs for exact verification of reachability properties
Elvio Gilberto Amparore, Peter Buchholz and Susanna Donatelli. Great-Nsolve: a tool integration for (Markov Regenerative) stochastic Petri nets
Andrea Peruffo, Alessandro Abate, Emeline Guiu and Patrick Panciatici. Safety Guarantees for the Electricity Grid with Significant Renewables Generation
Pranav Ashok, Tomas Brazdil, Krishnendu Chatterjee, Jan Kretinsky, Christoph H. Lampert and Viktor Toman. Strategy Representation by Decision Trees with Linear Classifiers
Gerrit Großmann and Luca Bortolussi. Reducing Spreading Processes on Networks to Markov Population Models