Similar Items: A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
- A New Interaction Concept for Interactive and Autoactive Program Verification
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- Verification of Neural Networks (Lecture Notes)
- Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles