Abstract is missing.
- Reinforcement Learning with Guarantees that Hold for EverErnst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi 0001, Dominik Wojtczak. 3-7 [doi]
- Supporting Railway Innovations with Formal Modelling and VerificationBas Luttik. 8-11 [doi]
- Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for CertificationGuillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober. 15-31 [doi]
- Generating Domain-Specific Interactive Validation DocumentsFabian Vu, Christopher Happe, Michael Leuschel. 32-49 [doi]
- Deductive Verification of Smart Contracts with DafnyFranck Cassez, Joanne Fuller, Horacio Mijail Anton Quiles. 50-66 [doi]
- Towards Reusable Formal Models for Custom Real-Time Operating SystemsJulius Adelt, Julian Gebker, Paula Herber. 69-85 [doi]
- Formal Verification of an Industrial UML-like Model using mCRL2Anna Stramaglia, Jeroen J. A. Keiren. 86-102 [doi]
- Chemical Case Studies in KeYmaera XRose Bohrer. 103-120 [doi]
- Analysing Capacity Bottlenecks in Rail Infrastructure by Episode MiningPhilipp Berger 0002, Wiebke Lenze, Thomas Noll 0001, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel. 121-133 [doi]
- Test Suite Augmentation for Reconfigurable PLC Software in the Internet of ProductionMarco Grochowski, Marcus Völker, Stefan Kowalewski. 137-154 [doi]
- Monitoring of Spatio-Temporal Properties with Nonlinear SAT SolversAndré de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira 0001. 155-171 [doi]
- Model-Based Testing of Internet of Things ProtocolsXavier Manuel van Dommelen, Machiel van der Bijl, Andy D. Pimentel. 172-189 [doi]
- Formally Verifying Decompositions of Stochastic SpecificationsAnton Hampus, Mattias Nyberg. 193-210 [doi]
- Verification of Behavior Trees using Linear Constrained Horn ClausesThomas Henn, Marcus Völker, Stefan Kowalewski, Minh Trinh, Oliver Petrovic, Christian Brecher. 211-225 [doi]
- A Multi-level Methodology for Behavioral Comparison of Software-Intensive SystemsDennis Hendriks, Arjan P. van der Meer, Wytse Oortwijn. 226-243 [doi]