Formal Methods

Plankton: Scalable network configuration verification through model checking NSDI 2020 PRover: Proof Generation for Interpretable Reasoning over Rules EMNLP 2020 Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020 Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020 Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020 Semantic parsing with fuzzy meaning representations COLING 2020 Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel OSDI 2020 Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020 Switch-List Representations in a Knowledge Compilation Map IJCAI 2020 Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020 Tractable Fragments of Datalog with Metric Temporal Operators IJCAI 2020 Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces AAAI 2020 A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic IJCAI 2019 An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019 Automated Verification of Social Laws for Continuous Time Multi-Robot Systems AAAI 2019 Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants IJCAI 2019 Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019 Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019 Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019 Compilation of Logical Arguments IJCAI 2019 Complexity of Abstract Argumentation under a Claim-Centric View AAAI 2019 Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs AAAI 2019 Computing Argumentative Explanations in Bipolar Argumentation Frameworks AAAI 2019 Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics IJCAI 2019 Do We Need Many-valued Logics for Incomplete Information? IJCAI 2019