Similar Items: Verification of Neural Networks (Lecture Notes)
- Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
- Neural networks as fuzzy logic formulas
- Formal Verification of Imperative First-Class Functions in Move
- A New Interaction Concept for Interactive and Autoactive Program Verification
- The Polynomial Counting Capabilities of Message Passing Neural Networks
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic