Similar Items: Barrier Certificates for Uncertain Temporal Specifications
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
- Combining Mechanical and Agentic Specification Inference for Move
- Efficient Temporal Datalog Materialisation for Composite Event Recognition
- Value Functions for Temporal Logic: Optimal Policies and Safety Filters
- A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)