Sebastián Zudaire

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Temporal Planning

Automata Theoretic

Unmanned Aerial Vehicles

Top Venues

Robotics Auton. Syst.

ACM Trans. Auton. Adapt. Syst.

Publications

Jane Cleland-Huang, Theodore Chambers, Sebastián Zudaire, Muhammed Tawfiq Chowdhury, Ankit Agrawal, Michael Vierhauser
Human-machine Teaming with Small Unmanned Aerial Systems in a MAPE-K Environment. ACM Trans. Auton. Adapt. Syst. 19 (1) (2024)
Ezequiel Pecker Marcosig, Sebastián Zudaire, Rodrigo D. Castro, Sebastián Uchitel
Correct and efficient UAV missions based on temporal planning and in-flight hybrid simulations. Robotics Auton. Syst. 164 (2023)
Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) (2022)
Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, Sebastián Uchitel
Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. ICRA (2021)
Sebastián Zudaire, Leandro Nahabedian, Sebastián Uchitel
Assured Mission Adaptation of UAVs. CoRR (2021)
Sebastián Zudaire, Martín Garrett, Sebastián Uchitel
Iterator-Based Temporal Logic Task Planning. CoRR (2020)
Tomás Liendro, Sebastián Zudaire
Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions. CoRR (2020)
Ezequiel Pecker Marcosig, Sebastián Zudaire, Martín Garrett, Sebastián Uchitel, Rodrigo Castro
Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems. WSC (2020)