Similar Items: iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
- Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
- Barrier Certificates for Uncertain Temporal Specifications
- BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
- HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
- ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor
- Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems