Abstract is missing.
- End-User Probabilistic ProgrammingJudith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto. 3-24 [doi]
- The Logical Path to Autonomous Cyber-Physical SystemsAndré Platzer. 25-33 [doi]
- Model Checking Constrained Markov Reward Models with UncertaintiesGiovanni Bacci 0001, Mikkel Hansen, Kim Guldstrand Larsen. 37-51 [doi]
- A Modest Approach to Modelling and Checking Markov AutomataYuliya Butkova, Arnd Hartmanns, Holger Hermanns. 52-69 [doi]
- Finite Approximation of LMPs for Exact Verification of Reachability PropertiesGildas Kouko, Josée Desharnais, François Laviolette. 70-87 [doi]
- Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision ProcessesViraj Brian Wijesuriya, Alessandro Abate. 91-108 [doi]
- Strategy Representation by Decision Trees with Linear ClassifiersPranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman. 109-128 [doi]
- Neural Network Precision TuningArnault Ioualalen, Matthieu Martel. 129-143 [doi]
- SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision ProcessesPranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger. 147-164 [doi]
- Fast Falsification of Hybrid Systems Using Probabilistically Adaptive InputGidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo. 165-181 [doi]
- State-Space Construction of Hybrid Petri Nets with Multiple Stochastic FiringsJannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke. 182-199 [doi]
- Expected Cost Analysis of Attack-Defense TreesJulia Eisentraut, Jan Kretínský. 203-221 [doi]
- A Process Algebra for (Delimited) Persistent Stochastic Non-InterferenceAndrea Marin, Carla Piazza, Sabina Rossi. 222-238 [doi]
- Automated Game-Theoretic Verification of Security SystemsChunyan Mu. 239-256 [doi]
- Bayesian Abstraction of Markov Population ModelsLuca Bortolussi, Francesca Cairoli. 259-276 [doi]
- UTOPIC: Under-Approximation Through Optimal ControlJosu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. 277-291 [doi]
- Reducing Spreading Processes on Networks to Markov Population ModelsGerrit Großmann, Luca Bortolussi. 292-309 [doi]
- Doping Tests for Cyber-Physical SystemsSebastian Biewer, Pedro D'Argenio, Holger Hermanns. 313-331 [doi]
- Safety Guarantees for the Electricity Grid with Significant Renewables GenerationAndrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate. 332-349 [doi]
- WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous DrivingJaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards. 350-354 [doi]
- Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri NetsElvio Gilberto Amparore, Peter Buchholz 0001, Susanna Donatelli. 355-360 [doi]