Formal Methods

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models AAAI 2025 Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances L4DC 2025 Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025 Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine ACL 2025 Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025 Verifying Quantized Graph Neural Networks is PSPACE-complete IJCAI 2025 Abstraction of Situation Calculus Concurrent Game Structures AAAI 2024 A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories AAAI 2024 A Logic for Reasoning about Aggregate-Combine Graph Neural Networks IJCAI 2024 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024 Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024 A Semantic Search Engine for Mathlib4 EMNLP 2024 A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024 Bilateral Gradual Semantics for Weighted Argumentation AAAI 2024 Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework AAAI 2024 Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024 Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024 Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances L4DC 2024 Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024 DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024 Dynamic Tangled Derivative Logic of Metric Spaces AAAI 2024 Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification AAAI 2024 Finite Groundings for ASP with Functions: A Journey through Consistency IJCAI 2024 First-Order Progression beyond Local-Effect and Normal Actions IJCAI 2024