Zhenhe Cui
3 papers
· 2021–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(3)
Conferences
IJCAI (2)
AAAI (1)
Top co-authors
Keywords
situation calculus
(2)
formal verification
(2)
generalized planning
(2)
trajectory constraint
(1)
sound abstraction
(1)
refinement mapping
(1)
soundness verification
(1)
golog program
(1)
sound complete abstraction
(1)
automated planning
(1)
syntactic approach
(1)
abstraction framework
(1)
action theory
(1)