Wed 17 May 2023 10:30 - 10:55 - Multiagent Systems #1 Chair(s): Kristin Yvonne Rozier

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
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