Quantitative Verification and Strategy Synthesis for BDI Agents (NASA Formal Methods 2023 - NFM 2023)

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

Who

Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu

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

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

Blair Archibald

University of Glasgow

Muffy Calder

Michele Sevegnani

University of Glasgow

United Kingdom

Mengwei Xu

University of Glasgow

United Kingdom

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

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