Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications (NASA Formal Methods 2024 - NFM 2024)

Who

Parv Kapoor, Eunsuk Kang, Romulo Meira-Goes

Track

NASA Formal Methods 2024 NFM

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Parv Kapoor

Carnegie Mellon University

United States

Eunsuk Kang

Carnegie Mellon University

United States

Romulo Meira-Goes

The Pennsylvania State University

United States

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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