Hybrid Incremental Modeling Based on Least Squares and Fuzzy $K$-NN for Monitoring Tool Wear in Turning Processes. - Francisco Penedo; Rodolfo E. Haber; Agustín Gajate; Raúl M. del Toro (IEEE Trans. Ind. Informatics, 2012)

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

Language-Guided Sampling-based Planning using Temporal Relaxation. - Francisco Penedo; Cristian Ioan Vasile; Calin Belta (WAFR, 2016)

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