SEBASTIÁN ZUDAIRE; FELIPE GOROSTIAGA; CÉSAR SANCHEZ; GERARDO SCHNEIDER; SEBASTIÁN UCHITEL

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

IEEE International Conference on Robotics and Automation

Año: 2021;

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 System

Winter Simulation Conference 2020

Año: 2020;

SEBASTIÁN ZUDAIRE; MARTÍN GARRETT; SEBASTIÁN UCHITEL

Iterator-Based Temporal Logic Task Planning

IEEE International Conference on Robotics and Automation

Año: 2020;