Sebastián Zudaire

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

Collaborative distances:

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

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