Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration (NASA Formal Methods 2023 - NFM 2023) - NASA Formal Methods 2023

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

Who

Thomas Robinson, Guoxin Su

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

When

Wed 17 May 2023 11:20 - 11:45 - Multiagent Systems #1 Chair(s): Kristin Yvonne Rozier

Link to Preprint

https://arxiv.org/abs/2305.04397

Thomas Robinson

University of Wollongong

Australia

Guoxin Su

University of Wollongong, Australia

Australia

Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration

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

Session Program

Wed 17 May
Displayed time zone: Central Time (US & Canada) change

	10:30 - 12:10	Multiagent Systems #1NFM 2023 Chair(s): Kristin Yvonne Rozier Iowa State University

	10:30 25m Talk		Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming NFM 2023 Alexandra Forsey-Smerek Massachusetts Institute of Technology, Ho Chit Siu MIT Lincoln Laboratory, Kevin Leahy MIT Lincoln Laboratory
	10:55 25m Talk		Reasoning over Test Specifications using Assume-Guarantee Contracts NFM 2023 Apurva Badithela Caltech, Josefine Graebener Caltech, Inigo Incer Caltech, Richard M. Murray
	11:20 25m Talk		Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration NFM 2023 Thomas Robinson University of Wollongong, Guoxin Su University of Wollongong, Australia Pre-print Media Attached
	11:45 25m Talk		Quantitative Verification and Strategy Synthesis for BDI Agents NFM 2023 Blair Archibald University of Glasgow, Muffy Calder , Michele Sevegnani University of Glasgow, Mengwei Xu University of Glasgow