Description
Book SynopsisFormal Methods and Machine Learning.- Learning Generalized Stochastic Petri Nets From Event Data.- Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages.- A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community.- Malwa: Learnability by Design.- Formal Verification Techniques for Vision-based Autonomous Systems A Survey.- What is Formal Verification without Specifications? A Survey on Mining LTL Specifications.- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.- L# for DFAs.- Verification Techniques.- The Transformation Game: Joining Forces for Verification.- The Black Ninjas and the Sniper: On Robust Population Protocols .-Effective Model-Based Testing.- Compiling Binary Decision Diagrams with Interrupt-based Downsizing.- Modular criticality analysis for dynamic fault trees.- Timed Systems.- Measured Causes: Adding Time and Probability to True Concurrency.Ten Papers with Pisa and Twente.- (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.-Avoiding Spurious Timeouts.- Urgency Annotations for Alternating Choices.- Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks.- Games.- Ten Years of Petri Games.- Compositional Solution of Mean Payoff Games by String Diagrams.- Solving parity games, very slowly.- Academia Give Probabilities a Fair Chance.- Making ETAPS Gold Open Access.
