I agree that this site is using cookies. You can find further informations here.
X
Zudaire, Sebastian
10  results:
Search for persons X
?
1

Human–machine Teaming with Small Unmanned Aerial Systems in..:

Cleland-Huang, Jane ; Chambers, Theodore ; Zudaire, Sebastian...
ACM Transactions on Autonomous and Adaptive Systems.  19 (2024)  1 - p. 1-35 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Correct and efficient UAV missions based on temporal planni..:

Pecker-Marcosig, Ezequiel ; Zudaire, Sebastián ; Castro, Rodrigo.
Robotics and Autonomous Systems.  164 (2023)  - p. 104404 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Assumption Monitoring of Temporal Task Planning Using Strea..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Gorostiaga, Felipe ; Zudaire, Sebastián ; Sánchez, César.. - p. 397-414 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Assured Mission Adaptation of UAVs:

Zudaire, Sebastián A. ; Nahabedian, Leandro ; Uchitel, Sebastián
ACM Transactions on Autonomous and Adaptive Systems.  16 (2021)  3-4 - p. 1-27 , 2021
Link: https://doi.org/10.1145/..
 
?
5

Unified DEVS-based platform for modeling and simulation of ..:

, In: Proceedings of the Winter Simulation Conference,
Pecker-Marcosig, Ezequiel ; Zudaire, Sebastián ; Garrett, Martín.. - p. 1051-1062 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Iterator-Based Temporal Logic Task Planning:

, In: 2020 IEEE International Conference on Robotics and Automation (ICRA),
Zudaire, Sebastian A. ; Garrett, Martin ; Uchite, Sebastian - p. 11472-11478 , 2020
Link: https://doi.org/10.1109/..
 
?
7

Assured Mission Adaptation of UAVs:

Zudaire, Sebastián ; Nahabedian, Leandro ; Uchitel, Sebastián
http://arxiv.org/abs/2107.10173.  , 2021
Link: http://arxiv.org/abs/210..
 
?
8

Iterator-Based Temporal Logic Task Planning:

Zudaire, Sebastián ; Garrett, Martín ; Uchitel, Sebastián
http://arxiv.org/abs/2001.07678.  , 2020
Link: http://arxiv.org/abs/200..
 
?
9

Hybrid Control from Scratch: A Design Methodology for Assur..:

Liendro, Tomás ; Zudaire, Sebastián
http://arxiv.org/abs/2004.11258.  , 2020
Link: http://arxiv.org/abs/200..
 
?
10

Assured Mission Adaptation of UAVs:

Zudaire, Sebastián Alfredo ; Nahabedian, Leandro Ezequiel ; Uchitel, Sebastian
info:eu-repo/semantics/altIdentifier/url/https://dl.acm.org/doi/10.1145/3513091.  ,
Link: http://hdl.handle.net/11..
 
1-10