Publicaciones en colaboración con investigadores/as de Boston University (3)

2020

  1. Language-Guided Sampling-based Planning using Temporal Relaxation

    Springer Proceedings in Advanced Robotics (Springer Science and Business Media B.V.), pp. 128-143

2019

  1. Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications

    Proceedings of the IEEE Conference on Decision and Control

2016

  1. A decision tree approach to data classification using signal temporal logic

    HSCC 2016 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control