Publications

Francisco Penedo Álvarez (2020). Formal Methods for Partial Differential Equations.

PDF Cite Project Project Project BU Library Permanent Link

Francisco Penedo Álvarez, Harold Park, Calin Belta (2018). Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications. In CDC 2018.

PDF Cite Project Project DOI

Francisco Penedo Álvarez, Cristian-Ioan Vasile, Calin Belta (2016). Language-Guided Sampling-Based Planning Using Temporal Relaxation.. In WAFR 2016.

PDF Cite Project

Giuseppe Bombara, Cristian-Ioan Vasile, Francisco Penedo Álvarez, Hirotoshi Yasuoka, Calin Belta (2016). A Decision Tree Approach to Data Classification Using Signal Temporal Logic. In HSCC 2016.

PDF Cite Project DOI

Francisco Penedo Álvarez, Rodolfo Haber, Agustín Gajate, Raúl del Toro (2012). Hybrid Incremental Modeling Based on Least Squares and Fuzzy $K$-NN for Monitoring Tool Wear in Turning Processes. In IEEE Transactions on Industrial Informatics 8, no.4 (November 2012).