Discrete LQG/LTR control augmented by integrators applied to a 2-DOF helicopter. - Fernando S. Barbosa; Gabriel Pereira Das Neves; Bruno A. Angelico (CCA, 2016)

Discrete time LQG/LTR applied to a practical quadruple tank system. - Gabriel Pereira Das Neves; Fernando S. Barbosa; Plinio S. Costa; Bruno A. Angelico (CCA, 2016)

Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications. - Fernando S. Barbosa; Lars Lindemann; Dimos V. Dimarogonas; Jana Tumova (ECC, 2019)

Guiding Autonomous Exploration With Signal Temporal Logic. - Fernando S. Barbosa; Daniel Duberg; Patric Jensfelt; Jana Tumova (IEEE Robotics Autom. Lett., 2019)

Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification. - Pouria Tajvar; Fernando S. Barbosa; Jana Tumova (CASE, 2020)

Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments. - Fernando S. Barbosa; Lars Lindemann; Dimos V. Dimarogonas; Jana Tumova (CDC, 2020)

Risk-Aware Motion Planning in Partially Known Environments. - Fernando S. Barbosa; Bruno Lacerda; Paul Duckworth; Jana Tumova; Nick Hawes (CDC, 2021)

Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract). - Fernando S. Barbosa; Jesper Karlsson; Pouria Tajvar; Jana Tumova (FORMATS, 2021)

Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments. - Kush Grover; Fernando S. Barbosa; Jana Tumova; Jan Kretínský (Robotics: Science and Systems, 2021)

Towards Safer and Risk-aware Motion Planning and Control for Robotic Systems. - Fernando S. Barbosa (2022)

Safe Navigation of Networked Robots Under Localization Uncertainty Using Robust Control Barrier Functions. - Adam Miksits; Fernando S. Barbosa; Magnus Lindhé; José Araújo; Karl Henrik Johansson (CDC, 2023)

Remote Tube-based MPC for Tracking Over Lossy Networks. - David Umsonst; Fernando S. Barbosa (CDC, 2024)

MPC-CBF with Adaptive Safety Margins for Safety-Critical Teleoperation over Imperfect Network Connections. - Riccardo Periotto; Mina Ferizbegovic; Fernando S. Barbosa; Roberto C. Sundin (ECC, 2024)

Real-Time Line-Based Room Segmentation and Continuous Euclidean Distance Fields. - Erik Warberg; Adam Miksits; Fernando S. Barbosa (CoRR, 2024)

An End-to-End Testbed for Communication, Compute, and Control Co-design: The Kista Innovation Park. - Aitor Hernandez Herranz; Fernando S. Barbosa (SAFECOMP (Workshops), 2025)