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

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

2015

  1. Observation of the rare B0s→μ+μ- decay from the combined analysis of CMS and LHCb data

    Nature, Vol. 522, Núm. 7554, pp. 68-72