Accepted papers
A Modest Approach to Modelling and Checking Markov Automata
UTOPIC: Under-Approximation Through Optimal Control
Expected Cost Analysis of Attack-Defense Trees
SOS: Safe, Optimal and Small Strategies for Stochastic Hybrid Games
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
State-space construction of HPnGs with multiple general transition firings
Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input
Bayes-Adaptive Planning for Data-Efficient Verfication of Uncertain Markov Decision Processes
Neural Network Precision Tuning
Bayesian Abstraction of Markov Population Models
Automated Game-Theoretic Verification of Security Systems
WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving
Doping Tests for Cyber-Physical Systems
Model Checking Constrained Markov Reward Models with Uncertainties
Finite approximation of LMPs for exact verification of reachability properties
Great-Nsolve: a tool
integration for (Markov Regenerative) stochastic Petri nets
Safety Guarantees for the Electricity Grid with
Significant Renewables Generation
Strategy Representation by Decision Trees with Linear Classifiers
Reducing Spreading Processes on Networks to Markov Population Models