Leonardo Bobadilla

2 papers · 2011–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (14) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (13) 🧭 Keyword Pioneer 🌟 Keyword Trendsetter Combo (3) 📈 Trend Setter

Conferences

CORL (1) RSS (1)

Top co-authors

Oscar Sanchez (1) Jane Shin (1) Steven LaValle (1) Justin Czarnowski (1) Gokul Puthumanaillam (1) Manav Vora (1) Paulo Padrao (1) Aditya Penumarti (1) Jose Fuentes (1) Katrina Gossman (1)

Keywords

motion planning (1) formal methods (1) linear temporal logic (1) multi-robot system (1) controller synthesis (1) hybrid control (1) task specification (1) hybrid controller (1) multi-robot control (1)

Papers

Belief-Conditioned One-Step Diffusion: Real-Time Trajectory Planning with Just-Enough Sensing CORL 2025

Controlling Wild Bodies Using Linear Temporal Logic RSS 2011