Co-occurring keywords · papers mentioning both
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
Controllability of Control Argumentation Frameworks
IJCAI 2020
Deciding Acceptance in Incomplete Argumentation Frameworks
AAAI 2020
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes
IJCAI 2018
An Abstraction-Refinement Methodology for Reasoning about Network Games
IJCAI 2017
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem
IJCAI 2017
Learning-Based Abstractions for Nonlinear Constraint Solving
IJCAI 2017
Bridging the Gap Between Refinement and Heuristics in Abstraction
IJCAI 2013
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps
RSS 2012