Sebastian Zudaire - Homepage

Sebastián Zudaire


I obtained a Mechanical Engineering degree at Instituto Balseiro, Argentina, in 2016, followed by a Masters degree in Engineering in 2018, and I am currently doing a PhD at the same institute with a strong link to the LaFHIS group at the University of Buenos Aires, Argentina.

My research interests are in the area of automatic reasoning for robotic systems. My main focus is the interaction between the low-level controllers that drive robots and high-level mission specifications.

Contact Information E-Mail:

PhD Director: Sebastián Uchitel

PhD Co-director: Marcelo Kuperman


  • S. Zudaire, F. Gorostiaga, C. Sánchez, G. Schneider and S. Uchitel, Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plans Excecutions” in IEEE ICRA’21, 2021.
  • B. Tapia, J. Delmastro and S. Zudaire, "An End-to-End Robot System for Warehouse Applications Using Controller Synthesis" in Simposio Argentino de Inteligencia Artificial (JAIIO 50), 2021.
  • C. Allione, S. Pincin and S. Zudaire, "Development Platform for Autonomous Driving in Real and Simulated Environments" in Simposio Argentino de Inteligencia Artificial (JAIIO 50), 2021.
  • S. Zudaire, M. Garrett, and S. Uchitel, “Iterator-based temporal logic task planning” in IEEE ICRA’20, 2020.
  • E. Pecker-Marcosig, S. Zudaire, M. Garrett, S. Uchitel and R. Castro, "Unified DEVS-based platform for Modeling and Simulation of Hybrid Control Systems" in Winter Simulation Conference 2020.
  • T. Liendro and S. Zudaire, "Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions" in Simposio Argentino de Inteligencia Artificial (JAIIO 49), 2020.


You can find some of my current work on automatic plan generation for Unmanned Aerial Vehicles on my YouTube Page.


I am a First Teaching Assistant at the Instituto Balseiro, Argentina.

  • Currently: Rational Mechanics, Introduction to Robotics

  • Previously: Numerical Analysis, Dynamical Systems and Control