conftrace_

formal methods

79 papers

Explore in graph

Co-occurring keywords

formal verification (284) model checking (105) linear temporal logic (82) knowledge representation (301) temporal logic (105) automated reasoning (122) large language model (13587) neural network verification (106) controller synthesis (21) reinforcement learning (4352)

Papers

Limits and Possibilities of Forgetting in Abstract Argumentation IJCAI 2022
The Counterfactual NESS Definition of Causation AAAI 2021
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract) IJCAI 2021
Passive learning of Timed Automata from logs (Student Abstract) AAAI 2021
Neural Unification for Logic Reasoning over Natural Language EMNLP 2021
Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory IJCAI 2020
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020
Grounding Language to Non-Markovian Tasks with No Supervision of Task Specifications RSS 2020
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel OSDI 2020
Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020
Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020
Parameterised Resource-Bounded ATL AAAI 2020
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces AAAI 2020
Unbounded Stress in Subregular Phonology ACL 2019
Regular Boardgames AAAI 2019
Verifying Robustness of Gradient Boosted Models AAAI 2019
Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019
Computing Argumentative Explanations in Bipolar Argumentation Frameworks AAAI 2019
Probabilistic Alternating-Time µ-Calculus AAAI 2019
Robustness Verification of Classification Deep Neural Networks via Linear Programming CVPR 2019
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019
Ontology Approximation in Horn Description Logics IJCAI 2019
Actual Causality in a Logical Setting IJCAI 2018
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) IJCAI 2017