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

Assume-Guarantee Reinforcement Learning AAAI 2024
Pure-Past Action Masking AAAI 2024
Mimicking Behaviors in Separated Domains (Abstract Reprint) AAAI 2024
Formal Methods for Network Performance Analysis NSDI 2023
Interpretability and Fairness in Machine Learning: A Formal Methods Approach IJCAI 2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks ICML 2023
Epistemic Disjunctive Datalog for Querying Knowledge Bases AAAI 2023
Shielding in Resource-Constrained Goal POMDPs AAAI 2023
Moral Responsibility for AI Systems NIPS 2023
Conditional Syntax Splitting for Non-monotonic Inference Operators AAAI 2023
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning EMNLP 2023
Combining Runtime Monitoring and Machine Learning with Human Feedback AAAI 2023
STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning AAAI 2023
DeepGemini: Verifying Dependency Fairness for Deep Neural Network AAAI 2023
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty AAAI 2023
Neural Policy Safety Verification via Predicate Abstraction: CEGAR AAAI 2023
Distillation of RL Policies with Formal Guarantees via Variational Abstraction of Markov Decision Processes AAAI 2022
Constraint-Driven Explanations for Black-Box ML Models AAAI 2022
Delivering Trustworthy AI through Formal XAI AAAI 2022
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Reinforcement Learning Explainability via Model Transforms (Student Abstract) AAAI 2022
A Causal Analysis of Harm NIPS 2022
Logical Inference for Counting on Semi-structured Tables ACL 2022
Policy Optimization with Linear Temporal Logic Constraints NIPS 2022
Explainable Reinforcement Learning via Model Transforms NIPS 2022