SMT-Based Dynamic Multi-Robot Task Allocation (NASA Formal Methods 2024 - NFM 2024)

Who

Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia

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 14:40 - 15:05 at Ballroom - FM for Robotics Chair(s): Johann Schumann

Victoria Marie Tuck

University of California, Berkeley

United States

Pei-Wei Chen

University of California, Berkeley

United States

Georgios Fainekos

Toyota Research Institute of North America

United States

Bardh Hoxha

Toyota Motor North America, Research & Development

United States

Hideki Okamoto

Toyota Motor North America, Research & Development

United States

S. Shankar Sastry

University of California, Berkeley

United States

Sanjit A. Seshia

University of California at Berkeley

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