NASA Formal Methods

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Verification of LSTM Neural Networks with Non-linear Activation Functions
3. Altmetric Badge
   Chapter 2 Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes
4. Altmetric Badge
   Chapter 2 Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
5. Altmetric Badge
   Chapter 3 Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations
6. Altmetric Badge
   Chapter 4 Formalizing Piecewise Affine Activation Functions of Neural Networks in  Coq
7. Altmetric Badge
   Chapter 5 Verifying an Aircraft Collision Avoidance Neural Network with Marabou
8. Altmetric Badge
   Chapter 6 Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access
9. Altmetric Badge
   Chapter 7 Learning Symbolic Timed Models from Concrete Timed Data
10. Altmetric Badge
    Chapter 8 Reward Shaping from Hybrid Systems Models in Reinforcement Learning
11. Altmetric Badge
    Chapter 9 Conservative Safety Monitors of Stochastic Dynamical Systems
12. Altmetric Badge
    Chapter 10 Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems
13. Altmetric Badge
    Chapter 11 Reasoning with Metric Temporal Logic and Resettable Skewed Clocks
14. Altmetric Badge
    Chapter 12 Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming
15. Altmetric Badge
    Chapter 13 A Framework for Policy Based Negotiation
16. Altmetric Badge
    Chapter 14 Rewrite-Based Decomposition of Signal Temporal Logic Specifications
17. Altmetric Badge
    Chapter 15 Quantitative Verification and Strategy Synthesis for BDI Agents
18. Altmetric Badge
    Chapter 16 Multi-objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration
19. Altmetric Badge
    Chapter 17 Reasoning over Test Specifications Using Assume-Guarantee Contracts
20. Altmetric Badge
    Chapter 18 From the Standards to Silicon: Formally Proved Memory Controllers
21. Altmetric Badge
    Chapter 19 Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework
22. Altmetric Badge
    Chapter 20 Formalized High Level Synthesis with Applications to Cryptographic Hardware
23. Altmetric Badge
    Chapter 21 From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif
24. Altmetric Badge
    Chapter 22 Automata-Based Software Model Checking of Hyperproperties
25. Altmetric Badge
    Chapter 23 Condition Synthesis Realizability via Constrained Horn Clauses
26. Altmetric Badge
    Chapter 24 A Toolkit for Automated Testing of Dafny
27. Altmetric Badge
    Chapter 25 Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation
28. Altmetric Badge
    Chapter 26 Subtropical Satisfiability for SMT Solving
29. Altmetric Badge
    Chapter 27 A Linear Weight Transfer Rule for Local Search
30. Altmetric Badge
    Chapter 28 Adiar 1.1
31. Altmetric Badge
    Chapter 29 Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem