Francisco José
Penedo Blanco
Profesor Titular de Universidade
Boston University
Boston, Estados UnidosPublicacións en colaboración con investigadores/as de Boston University (3)
2020
-
Language-Guided Sampling-based Planning using Temporal Relaxation
Springer Proceedings in Advanced Robotics (Springer Science and Business Media B.V.), pp. 128-143
2019
-
Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications
Proceedings of the IEEE Conference on Decision and Control
2016
-
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