Sebastin Zudaire
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SEAMS | Reasoning About Hidden Hybrid Assumptions in Assured Temporal Missions. | Juan Felipe Perdomo, Vctor A. Braberman, Sebastin Uchitel, Sebastin Zudaire |
| 2022 | ISoLA | Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. | Felipe Gorostiaga, Sebastin Zudaire, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2021 | ICRA | Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions. | Sebastin Zudaire, Felipe Gorostiaga, Csar Snchez, Gerardo Schneider, Sebastin Uchitel |
| 2020 | WSC | Unified Devs-Based Platform for Modeling and Simulation of Hybrid Control Systems. | Ezequiel Pecker-Marcosig, Sebastin Zudaire, Martn Garrett, Sebastin Uchitel, Rodrigo D. Castro |