Iterator-Based Temporal Logic Task Planning. - Sebastián A. Zudaire; Martín Garrett; Sebastián Uchitel (ICRA, 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 (WSC, 2020)

Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions. - Tomás Liendro; Sebastián Zudaire (CoRR, 2020)

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. - Sebastián Zudaire; Felipe Gorostiaga; César Sánchez 001; Gerardo Schneider; Sebastián Uchitel (ICRA, 2021)

Assured Mission Adaptation of UAVs. - Sebastián A. Zudaire; Leandro Nahabedian; Sebastián Uchitel (ACM Trans. Auton. Adapt. Syst., 2021)

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. - Felipe Gorostiaga; Sebastián Zudaire; César Sánchez 001; Gerardo Schneider; Sebastián Uchitel (ISoLA (1), 2022)

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., 2023)

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 002; Michael Vierhauser (ACM Trans. Auton. Adapt. Syst., 2024)