Kailun Luo
5 papers · 2019–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (6) π Cross-Pollinator (3)
πΊοΈ
Taxonomy Completionist
(10)
π£
Hot Topic Early Bird
Conferences
AAAI (3)
IJCAI (2)
Top co-authors
Keywords
situation calculus
(4)
formal verification
(3)
model checking
(2)
automated planning
(2)
game theory
(2)
counterexample-guided refinement
(1)
abstraction framework
(1)
action theory
(1)
trajectory constraint
(1)
sound abstraction
(1)
finite state automaton
(1)
counterexample-guided synthesis
(1)
refinement mapping
(1)
agent abstraction
(1)
invariant strategies
(1)
ctlk specification
(1)
golog program
(1)
sound complete abstraction
(1)
syntactic approach
(1)
classical planning
(1)
Papers
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
AAAI 2025
Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking
AAAI 2023
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement
AAAI 2022
A Uniform Abstraction Framework for Generalized Planning
IJCAI 2021
Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants
IJCAI 2019