conftrace_

formal verification

284 papers

Explore in graph

Also known as

FV

Co-occurring keywords

neural network verification (106) adversarial robustness (1341) model checking (105) neural network (6616) temporal logic (105) theorem proving (63) large language model (13587) linear temporal logic (82) multi-agent system (1819) automated reasoning (122)

Papers

Zonotope Domains for Lagrangian Neural Network Verification NIPS 2022
Autoformalization with Large Language Models NIPS 2022
Formal Semantics and Formally Verified Validation for Temporal Planning AAAI 2022
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement AAAI 2022
Robust Anytime Learning of Markov Decision Processes NIPS 2022
Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning RSS 2021
Verifiable Machine Ethics in Changing Contexts AAAI 2021
BT Expansion: a Sound and Complete Algorithm for Behavior Planning of Intelligent Robots with Behavior Trees AAAI 2021
Quantification of Resource Production Incompleteness AAAI 2021
Responsibility Attribution in Parameterized Markovian Models AAAI 2021
Verification and Repair of Neural Networks AAAI 2021
Toward Determining NFA Equivalence via QBFs (Student Abstract) AAAI 2021
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning UAI 2021
Verifying Reinforcement Learning up to Infinity IJCAI 2021
Justicia: A Stochastic SAT Approach to Formally Verify Fairness AAAI 2021
Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021
Scalable Verification of Quantized Neural Networks AAAI 2021
Tango: Declarative Semantics for Multiagent Communication Protocols IJCAI 2021
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up IJCAI 2021
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021
A SAT-based Resolution of Lam's Problem AAAI 2021
Safety Assurance for Systems with Machine Learning Components AAAI 2021
On-the-fly Synthesis for LTL over Finite Traces AAAI 2021
Robustness Certification for Point Cloud Models ICCV 2021
DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis IJCAI 2021