João Araújo — accepted AI-conference papers

2026

Retargeting Matters: General Motion Retargeting for Humanoid Motion Tracking

João Araújo, Yanjie Ze, Pei Xu, Jiajun Wu, Karen Liu

ICRA 2026poster

Humanoid motion tracking policies are central to building teleoperation pipelines and hierarchical controllers, yet they face a fundamental challenge: the embodiment gap between humans and humanoid robots. Current approaches address this gap by retargeting human motion data to humanoid embodiments a…

Cited by 0 Source ↗PDF ↗Scholar ↗

2024

SAT-Based Techniques for Lexicographically Smallest Finite Models

Mikoláš Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtěchovský

AAAI 2024technical

This paper proposes SAT-based techniques to calculate a specific normal form of a given finite mathematical structure (model). The normal form is obtained by permuting the domain elements so that the representation of the structure is lexicographically smallest possible. Such a normal form is of int…

Cited by 3 Source ↗PDF ↗Scholar ↗