Martín Garrett

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 3

Top Topics

Concurrent Systems

Temporally Extended Goals

Verification Method

Top Venues

Publications

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