Kailun Luo
5 papers
· 2019–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)