Sebastián Zudaire

According to our database, Sebastián Zudaire authored at least 11 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Real2Sim based on Active Perception with automatically VLM-generated Behavior Trees.

Alessandro Adami, Sebastián Zudaire, Ruggero Carli, Pietro Falco

CoRR, January, 2026

2025

Augmented Reality-Enhanced Robot Teleoperation for Collecting User Demonstrations.

Shiqi Gong, Sebastián Zudaire, Chi Zhang, Zhen Li

CoRR, September, 2025

IMD: A 6-DoF Pose Estimation Benchmark for Industrial Metallic Objects.

Ruimin Ma, Sebastián Zudaire, Zhen Li, Chi Zhang

CoRR, September, 2025

2024

Human-machine Teaming with Small Unmanned Aerial Systems in a MAPE-K Environment.

Jane Cleland-Huang, Theodore Chambers, Sebastián Zudaire, Muhammed Tawfiq Chowdhury, Ankit Agrawal, Michael Vierhauser

ACM Trans. Auton. Adapt. Syst., March, 2024

2023

Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations.

Ezequiel Pecker-Marcosig, Sebastián Zudaire, Rodrigo D. Castro, Sebastián Uchitel

Robotics Auton. Syst., June, 2023

2022

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.

Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2021

Assured Mission Adaptation of UAVs.

Sebastián A. Zudaire, Leandro Nahabedian, Sebastián Uchitel

ACM Trans. Auton. Adapt. Syst., December, 2021

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.

Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions.

Tomás Liendro, Sebastián Zudaire

CoRR, 2020

Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems.

Ezequiel Pecker-Marcosig, Sebastián Zudaire, Martín Garrett, Sebastián Uchitel, Rodrigo D. Castro

Proceedings of the Winter Simulation Conference, 2020

Iterator-Based Temporal Logic Task Planning.

Sebastián A. Zudaire, Martín Garrett, Sebastián Uchitel

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020