conftrace_

model repair

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

planning domain (1) optimal repair (1) domain model acquisition (1) automated modeling (1) influence analysis (1) counterexample generation (1) safety critical (1) counter-example plan (1) neural network (1) domain model (1)

Papers

A Survey on Model Repair in AI Planning IJCAI 2025 Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming IJCAI 2025 Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans AAAI 2025 Repairing Neural Networks by Leaving the Right Past Behind NeurIPS 2022 RNNRepair: Automatic RNN Repair via Model-based Analysis ICML 2021 Verification and Repair of Neural Networks AAAI 2021