Object-level Planning: Bridging Human Knowledge to Task and Motion Planning

AI-Assisted Automated Programming and Automated Program Repair

Empowering Grassroots Creative Communities through Live Media and Generative AI

The Design of Cognitively Accessible Visualizations

Unlocking lifelong robot learning with modularity

Pragmatic Formal Analysis of Software-Intensive Systems: Streamlined with Automation