conftrace_

abstraction refinement

12 papers

Explore in graph

Co-occurring keywords

formal verification (284) answer set programming (97) model checking (105) argumentation framework (50) computational complexity (399) constraint solving (39) counter-example guided abstraction refinement (1) automated reasoning (122) nash equilibrium (398) robot control (74)

Papers

Incremental Data-Driven Policy Synthesis via Game Abstractions AAAI 2026
Neuron Similarity-Based Neural Network Verification via Abstraction and Refinement IJCAI 2025
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024
Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022
Deciding Acceptance in Incomplete Argumentation Frameworks AAAI 2020
Controllability of Control Argumentation Frameworks IJCAI 2020
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes IJCAI 2018
An Abstraction-Refinement Methodology for Reasoning about Network Games IJCAI 2017
Learning-Based Abstractions for Nonlinear Constraint Solving IJCAI 2017
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017
Bridging the Gap Between Refinement and Heuristics in Abstraction IJCAI 2013
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012