Abstract is missing.
- Learning Generalized Stochastic Petri Nets From Event DataWil M. P. van der Aalst, Sander J. J. Leemans. 3-17 [doi]
- Safe Reinforcement Learning Through Regret and State Restorations in Evaluation StagesTimo P. Gros, Nicola J. Müller, Daniel Höller, Verena Wolf. 18-38 [doi]
- A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods CommunitySudeep Kanav, Jan Kretínský, Sabine Rieder. 39-65 [doi]
- Malwa: Learnability by DesignMarco Krumrey, Alexander Bainczyk, Falk Howar, Bernhard Steffen. 66-88 [doi]
- Formal Verification Techniques for Vision-Based Autonomous Systems - A SurveySayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu. 89-108 [doi]
- What Is Formal Verification Without Specifications? A Survey on Mining LTL SpecificationsDaniel Neider, Rajarshi Roy 0002. 109-125 [doi]
- Robust Markov Decision Processes: A Place Where AI and Formal Methods MeetMarnix Suilen, Thom S. Badings, Eline M. Bovy, David Parker 0001, Nils Jansen 0001. 126-154 [doi]
- # for DFAsFrits W. Vaandrager, Martijn Sanders. 155-172 [doi]
- The Transformation Game: Joining Forces for VerificationDirk Beyer 0001, Nian-Ze Lee. 175-205 [doi]
- The Black Ninjas and the Sniper: On Robust Population ProtocolsBenno Lossin, Philipp Czerner, Javier Esparza, Roland Guttenberg, Tobias Prehn. 206-233 [doi]
- Effective Model-Based TestingTheo C. Ruys, Machiel van der Bijl. 234-251 [doi]
- Compiling Binary Decision Diagrams with Interrupt-Based DownsizingClemens Dubslaff, Joshua Wirtz. 252-273 [doi]
- Modular Criticality Analysis for Dynamic Fault TreesFalak Sher, Mariëlle Stoelinga, Matthias Volk 0001. 274-293 [doi]
- Measured Causes: Adding Time and Probability to True Concurrency - Ten Papers with Pisa and TwenteEd Brinksma, Rom Langerak, Diego Latella, Mieke Massink. 297-308 [doi]
- (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid SystemsLisa Willemsen, Anne Remke, Erika Ábrahám. 309-337 [doi]
- Avoiding Spurious TimeoutsLenore D. Zuck, Zhongkai Wen. 338-350 [doi]
- Urgency Annotations for Alternating ChoicesEren Keskin, Roland Meyer 0001, Sören van der Wall. 351-373 [doi]
- Rescuing Catastrophe Victims by Interactive Markov Chains with ClocksMartin Fränzle, Rabeaeh Kiaghadi, Paul Kröger. 374-395 [doi]
- Ten Years of Petri GamesBernd Finkbeiner, Ernst-Rüdiger Olderog. 399-422 [doi]
- Compositional Solution of Mean Payoff Games by String DiagramsKazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. 423-445 [doi]
- Solving Parity Games, Very SlowlyTom van Dijk. 446-465 [doi]
- Give Probabilities a Fair Chance!Boudewijn R. Haverkort. 469-486 [doi]
- Making ETAPS Gold Open AccessHolger Hermanns, Marieke Huisman. 487-500 [doi]