Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. - Rafael Rodrigues da Silva; Bo Wu 005; Jin Dai; Hai Lin 002 (AAAI Fall Symposia, 2016)

Formal design of robot Integrated Task and Motion Planning. - Rafael Rodrigues da Silva; Bo Wu 005; Hai Lin 002 (CDC, 2016)

Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications. - Rafael Rodrigues da Silva; Hai Lin 002 (CoRR, 2016)

SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments. - Rafael Rodrigues da Silva; Samuel Silva 002; Grigoriy Dubrovskiy; Hai Lin 002 (CoRR, 2016)

Combined top-down and bottom-up design of cooperative multi-robot systems. - Rafael Rodrigues da Silva; Bo Wu 005; Jin Dai; Hai Lin 002 (CoRR, 2016)

A hardware-in-the loop platform for designing and testing of electric power assisted steering. - Rafael Rodrigues da Silva; Evandro Leonardo Silva Teixeira; André Murilo; Max Mauro Dias Santos (IECON, 2017)

Reactive Integrated Mission and Motion planning. - Alireza Partovi; Rafael Rodrigues da Silva; Hai Lin 002 (CoRR, 2017)

Reactive Integrated Mission and Motion Planning for Mobile Robotic Manipulators. - Alireza Partovi; Rafael Rodrigues da Silva; Hai Lin 002 (ACC, 2018)

Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications. - Rafael Rodrigues da Silva; Hai Lin 002 (CoRR, 2018)

Formal Connections between Template and Anchor Models via Approximate Simulation. - Vince Kurtz; Rafael Rodrigues da Silva; Patrick M. Wensing; Hai Lin 002 (Humanoids, 2019)

Active Perception and Control From Temporal Logic Specifications. - Rafael Rodrigues da Silva; Vince Kurtz; Hai Lin 002 (IEEE Control. Syst. Lett., 2019)

Active Perception and Control from PrSTL Specifications. - Rafael Rodrigues da Silva; Vince Kurtz; Hai Lin 002 (CoRR, 2021)

idSTLPy: A Python Toolbox for Active Perception and Control. - Rafael Rodrigues da Silva; Kunal Yadav; Hai Lin 002 (CoRR, 2021)

Automatic Trajectory Synthesis for Real-Time Temporal Logic. - Rafael Rodrigues da Silva; Vince Kurtz; Hai Lin 002 (IEEE Trans. Autom. Control., 2022)

A Comprehensive Analysis of Model Predictive Control for Lane Keeping Assist System. - James Duvan Garcia Montoya; Evandro Leonardo Silva Teixeira; André Murilo; Rafael Rodrigues da Silva (IEEE Access, 2023)

Design and Implementation of Parameterized MPC Strategies for Lane Keeping Assist Systems in Real-Time HIL Architecture. - James Duvan Garcia Montoya; André Murilo; Evandro Leonardo Silva Teixeira; Rafael Rodrigues da Silva; Bruno Augusto Angélico (IEEE Access, 2025)