Rewrite-Based Decomposition of Signal Temporal Logic Specifications (NASA Formal Methods 2023 - NFM 2023)

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

Who

Kevin Leahy, Makai Mann, Cristian-Ioan Vasile

Track

NASA Formal Methods 2023 NFM

Time Zone

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

Use conference time zone: (GMT-05:00) Central 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 18 May 2023 12:35 - 13:00 - Multiagent Systems #2 Chair(s): Ivan Perez

Kevin Leahy

MIT Lincoln Laboratory

United States

Makai Mann

MIT Lincoln Laboratory

United States

Cristian-Ioan Vasile

Lehigh University

United States

Time Zone

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

Use conference time zone: (GMT-05:00) Central 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 18 May
Displayed time zone: Central Time (US & Canada) change

12:10 - 13:00	Multiagent Systems #2NFM 2023 Chair(s): Ivan Perez NASA Ames Research Center

12:10 25m Talk		A Framework for Policy Based Negotiation NFM 2023 Anna Fritz The University of Kansas, Perry Alexander The University of Kansas
12:35 25m Talk		Rewrite-Based Decomposition of Signal Temporal Logic Specifications NFM 2023 Kevin Leahy MIT Lincoln Laboratory, Makai Mann MIT Lincoln Laboratory, Cristian-Ioan Vasile Lehigh University