Francisco Girbal Eiras

According to our database, Francisco Girbal Eiras authored at least 15 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Segment, Select, Correct: A Framework for Weakly-Supervised Referring Segmentation.

Francisco Eiras, Kemal Oksuz, Adel Bibi, Philip H. S. Torr, Puneet K. Dokania

CoRR, 2023

Faithful Knowledge Distillation.

Tom A. Lamb, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Philip H. S. Torr, Francisco Eiras

CoRR, 2023

Provably Correct Physics-Informed Neural Networks.

Francisco Eiras, Adel Bibi, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, Philip H. S. Torr, M. Pawan Kumar

CoRR, 2023

RANCER: Non-Axis Aligned Anisotropic Certification with Randomized Smoothing.

Taras Rumezhak, Francisco Girbal Eiras, Philip H. S. Torr, Adel Bibi

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2023

Certifying Ensembles: A General Certification Theory with S-Lipschitzness.

Aleksandar Petrov, Francisco Eiras, Amartya Sanyal, Philip H. S. Torr, Adel Bibi

Proceedings of the International Conference on Machine Learning, 2023

2022

A Two-Stage Optimization-Based Motion Planner for Safe Urban Driving.

Francisco Eiras, Majd Hawasly, Stefano V. Albrecht, Subramanian Ramamoorthy

IEEE Trans. Robotics, 2022

ANCER: Anisotropic Certification via Sample-wise Volume Maximization.

Francisco Eiras, Motasem Alfarra, Philip H. S. Torr, M. Pawan Kumar, Puneet K. Dokania, Bernard Ghanem, Adel Bibi

Trans. Mach. Learn. Res., 2022

2021

PILOT: Efficient Planning by Imitation Learning and Optimisation for Safe Autonomous Driving.

Henry Pulver, Francisco Eiras, Ludovico Carozza, Majd Hawasly, Stefano V. Albrecht, Subramanian Ramamoorthy

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Interpretable Goal Recognition in the Presence of Occluded Factors for Autonomous Vehicles.

Josiah P. Hanna, Arrasy Rahman, Elliot Fosong, Francisco Eiras, Mihai Dobre, John Redford, Subramanian Ramamoorthy, Stefano V. Albrecht

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Interpretable Goal-based Prediction and Planning for Autonomous Driving.

Stefano V. Albrecht, Cillian Brewitt, John Wilhelm, Balint Gyevnar, Francisco Eiras, Mihai Dobre, Subramanian Ramamoorthy

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Integrating Planning and Interpretable Goal Recognition for Autonomous Driving.

Stefano V. Albrecht, Cillian Brewitt, John Wilhelm, Francisco Eiras, Mihai Dobre, Subramanian Ramamoorthy

CoRR, 2020

A Two-Stage Optimization Approach to Safe-by-Design Planning for Autonomous Driving.

Francisco Eiras, Majd Hawasly, Stefano V. Albrecht, Subramanian Ramamoorthy

CoRR, 2020

PaRoT: A Practical Framework for Robust Deep Neural Network Training.

Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Correct-by-Construction Advanced Driver Assistance Systems Based on a Cognitive Architecture.

Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska

Proceedings of the IEEE 2nd Connected and Automated Vehicles Symposium, 2019

2018

Analytical Modeling of Vanishing Points and Curves in Catadioptric Cameras.

Pedro Miraldo, Francisco Eiras, Srikumar Ramalingam

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018