Demonstrations Schedule
All demo booths are located in The Great Room. On the assigned date, demonstrations will run during both coffee breaks in the morning and afternoon, as well as during the lunch break (i.e., 10:00-10:30, 12:30-14:00, and 16:00-16:30).
|
Demonstration
|
Date
|
Demo Booth
|
|
SMT4SMTL: a Tool for SMT-Based Satisfiability Checking of SMTL
|
May 8, 2024
|
Demo Booth 1
|
|
pgeon applied to Overcooked-AI to explain agents’ behaviour
|
May 8, 2024
|
Demo Booth 2
|
|
Naphtha Cracking Center Scheduling Optimization using Multi-Agent Reinforcement Learning
|
May 8, 2024
|
Demo Booth 3
|
|
A Symbolic Sequential Equilibria Solver for Game Theory Explorer
|
May 8, 2024
|
Demo Booth 4
|
|
Conversational Language Models for Human-in-the-Loop Multi-Robot Coordination
|
May 8, 2024
|
Demo Booth 5
|
|
STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow
|
May 9, 2024
|
Demo Booth 1
|
|
Engaging the Elderly in Exercise with Agents: A Gamified Stationary Bike System for Sarcopenia Management
|
May 9, 2024
|
Demo Booth 2
|
|
Imitation Learning Datasets: A Toolkit For Creating Datasets, Training Agents and Benchmarking
|
May 9, 2024
|
Demo Booth 3
|
|
End to end camera only drone detection and tracking demo within a multi-agent framework with a CNN-LSTM model for range estimation.
|
May 9, 2024
|
Demo Booth 4
|
|
EVtonomy: A Personalised Route Planner for Electric Vehicles
|
May 9, 2024
|
Demo Booth 5
|
Accepted Demos
| ID | Authors & title |
| 1250 | William Hunt, Toby Godfrey and Mohammad Soorati. Conversational Language Models for Human-in-the-Loop Multi-Robot Coordination |
| 1254 | Adrián Tormos, Victor Gimenez-Abalos, Javier Vázquez-Salceda and Sergio Alvarez-Napagao. pgeon applied to Overcooked-AI to explain agents’ behaviour |
| 1227 | Sunghoon Hong, Deunsol Yoon, Whiyoung Jung, Jinsang Lee, Hyundam Yoo, Jiwon Ham, Suhyun Jung, Chanwoo Moon, Yeontae Jung, Kanghoon Lee, Woohyung Lim, Somin Jeon, Myounggu Lee, Sohui Hong, Jaesang Lee, Hangyoul Jang, Changhyun Kwak, Jeonghyeon Park, Changhoon Kang and Jungki Kim. Naphtha Cracking Center Scheduling Optimization using Multi-Agent Reinforcement Learning |
| 1244 | Moritz Graf, Thorsten Engesser and Bernhard Nebel. A Symbolic Sequential Equilibria Solver for Game Theory Explorer |
| 1246 | Artur Niewiadomski, Maciej Nazarczuk, Mateusz Przychodzki, Magdalena Kacprzak, Wojciech Penczek and Andrzej Zbrzezny. SMT4SMTL: a Tool for SMT-Based Satisfiability Checking of SMTL |
| 1251 | Mateusz Kamiński, Damian Kurpiewski and Wojtek Jamroga. STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow |
| 1247 | Yang Qiu, Ping Chen, Huiguo Zhang, Bo Huang, Di Wang and Zhiqi Shen. Engaging the Elderly in Exercise with Agents: A Gamified Stationary Bike System for Sarcopenia Management |
| 1249 | Nathan Gavenski, Michael Luck and Odinaldo Rodrigues. Imitation Learning Datasets: A Toolkit For Creating Datasets, Training Agents and Benchmarking |
| 1253 | Alexandry Augustin, Elnaz Shafipour and Sebastian Stein. EVtonomy: A Personalised Route Planner for Electric Vehicles |
| 1245 | Maxence de Rochechouart, Raed Abu Zitar, Amal El Fallah and Frederic Barbaresco. End to end camera only drone detection and tracking demo within a multi-agent framework with a CNN-LSTM model for range estimation. |