 Learning Type-Generalized Actions for Symbolic PlanningIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2023 |
 Synthesis of Procedural Models for Deterministic Transition SystemsEuropean Conference on Artificial Intelligence (ECAI), 2023 |