Kailun Luo

5 papers · 2019–2025 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (10) 🐣 Hot Topic Early Bird

Venues

AAAI (3) IJCAI (2)

Top co-authors

Yongmei Liu (3) Zhenhe Cui (2) Zhang Chen (1) Liangda Fang (1) Xiaoman Wang (1) Quanlong Guan (1)

Research topics

Artificial Intelligence (5) Core AI (5) Knowledge & Reasoning (4) Reasoning (4) Machine Learning (1) Learning Paradigms (1) Optimization & Theory (1)

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