Thu 6 Jun 2024 14:40 - 15:05 at Ballroom - FM for Robotics Chair(s): Johann Schumann

Thu 6 Jun

Displayed time zone: Pacific Time (US & Canada) change

14:00 - 15:30
FM for RoboticsNFM 2024 at Ballroom
Chair(s): Johann Schumann KBR / NASA
14:00
25m
Talk
Robotics: A New Mission for FRET Requirements
NFM 2024
Gricel Vázquez University of York, UK, Anastasia Mavridou KBR / NASA Ames Research Center, Marie Farrell The University of Manchester, Thomas Pressburger NASA Ames Research Center, Radu Calinescu University of York, UK
14:25
15m
Talk
The Control Barrier Function Toolbox
NFM 2024
Andrew Schoer MIT Lincoln Laboratory, Helena Teixeira-Dasilva Washington University in St. Louis, Christian So Boston University, Makai Mann MIT Lincoln Laboratory, Roberto Tron Boston University
14:40
25m
Talk
SMT-Based Dynamic Multi-Robot Task Allocation
NFM 2024
Victoria Marie Tuck University of California, Berkeley, Pei-Wei Chen University of California, Berkeley, Georgios Fainekos Toyota Research Institute of North America, Bardh Hoxha Toyota Motor North America, Research & Development, Hideki Okamoto Toyota Motor North America, Research & Development, S. Shankar Sastry University of California, Berkeley, Sanjit A. Seshia University of California at Berkeley
15:05
25m
Talk
Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
NFM 2024
Parv Kapoor Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University, Romulo Meira-Goes The Pennsylvania State University