Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Automata Tutor v3
3. Altmetric Badge
   Chapter 2 Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
4. Altmetric Badge
   Chapter 3 RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
5. Altmetric Badge
   Chapter 4 Realizing $$\omega $$ -regular Hyperproperties
6. Altmetric Badge
   Chapter 5 AdamMC : A Model Checker for Petri Nets with Transits against Flow-LTL
7. Altmetric Badge
   Chapter 6 Action-Based Model Checking: Logic, Automata, and Reduction
8. Altmetric Badge
   Chapter 7 Global Guidance for Local Generalization in Model Checking
9. Altmetric Badge
   Chapter 8 Towards Model Checking Real-World Software-Defined Networks
10. Altmetric Badge
    Chapter 9 Code2Inv: A Deep Learning Framework for Program Verification
11. Altmetric Badge
    Chapter 10 MetaVal: Witness Validation via Verification
12. Altmetric Badge
    Chapter 11 Recursive Data Structures in SPARK
13. Altmetric Badge
    Chapter 12 Ivy: A Multi-modal Verification Tool for Distributed Algorithms
14. Altmetric Badge
    Chapter 13 Reasoning over Permissions Regions in Concurrent Separation Logic
15. Altmetric Badge
    Chapter 14 Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic
16. Altmetric Badge
    Chapter 15 Maximum Causal Entropy Specification Inference from Demonstrations
17. Altmetric Badge
    Chapter 16 Certifying Certainty and Uncertainty in Approximate Membership Query Structures
18. Altmetric Badge
    Chapter 17 Global PAC Bounds for Learning Discrete Time Markov Chains
19. Altmetric Badge
    Chapter 18 Unbounded-Time Safety Verification of Stochastic Differential Dynamics
20. Altmetric Badge
    Chapter 19 Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games
21. Altmetric Badge
    Chapter 20 Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
22. Altmetric Badge
    Chapter 21 Stochastic Games with Lexicographic Reachability-Safety Objectives
23. Altmetric Badge
    Chapter 22 Qualitative Controller Synthesis for Consumption Markov Decision Processes
24. Altmetric Badge
    Chapter 23 STMC: Statistical Model Checker with Stratified and Antithetic Sampling
25. Altmetric Badge
    Chapter 24 AMYTISS : Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
26. Altmetric Badge
    Chapter 25 PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
27. Altmetric Badge
    Chapter 26 Optimistic Value Iteration
28. Altmetric Badge
    Chapter 27 PrIC3 : Property Directed Reachability for MDPs
29. Altmetric Badge
    Chapter 28 Good-Enough Synthesis
30. Altmetric Badge
    Chapter 29 Synthesizing JIT Compilers for In-Kernel DSLs
31. Altmetric Badge
    Chapter 30 Program Synthesis Using Deduction-Guided Reinforcement Learning
32. Altmetric Badge
    Chapter 31 Manthan: A Data-Driven Approach for Boolean Function Synthesis
33. Altmetric Badge
    Chapter 32 Decidable Synthesis of Programs with Uninterpreted Functions
34. Altmetric Badge
    Chapter 33 Must Fault Localization for Program Repair