Formal Methods

2-ASP(Q) Solving Based on CEGAR AAAI 2026 A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference AAAI 2026 A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026 Automata-less Monitoring via Trace-Checking AAAI 2026 BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems L4DC 2026 BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems L4DC 2026 Computational Complexity of Repair Problems on Simple Temporal Networks with Uncertainty UAI 2026 Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation NSDI 2026 Extending Description Logics with Generic Concepts – the Case of Terminologies AAAI 2026 Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification L4DC 2026 Inverting the Shield: Systematically Generating Safety Tests from Policy Specifications ACL 2026 lakshadvani at SemEval-2026 Task 11: A Neuro-Symbolic Approach to Content-Independent Syllogistic Reasoning SemEval 2026 Model Change for Description Logic Concepts AAAI 2026 Relational Verification for Cost-Aware Quantum Program Optimization AAAI 2026 Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis L4DC 2026 Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation L4DC 2026 Symmetries and Other Variations of “End-Recursive” HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions AAAI 2026 Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence AAAI 2026 Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures L4DC 2026 Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories L4DC 2025 A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025 A Layered Formal Methods Approach to Answering Queue-related Queries NSDI 2025 Algorithmic syntactic causal identification CLeaR 2025 A Logical Analysis of Hanabi AAAI 2025 A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity AAAI 2025