Accepted Demos

List of accepted Demos

Paper ID Authors Title
8 Kristijonas Cyras, Amin Karamlou, Myles Lee, Dimitrios Letsios, Ruth Misener, Francesca Toni AI-assisted Schedule Explainer for Nurse Rostering
9 Zehong Cao, Kai Chiu Wong, Quan Bai, Chin-Teng Lin Hierarchical and Non-Hierarchical Multi-Agent Interactions Based on Unity Reinforcement Learning
10 Tiago Pinto, Luis Gomes, Pedro Faria, Filipe Sousa, Zita Vale MARTINE: Multi-agent based real-time infrastructure for energy
 11 David Minarsch, Marco Favorito, Ali Hosseini, Jonathan Ward Trading Agent Competition with Autonomous Economic Agents
13 João Carneiro, Rui Andrade, Patrícia Alves, Luís Conceição, Paulo Novais, Goreti Marreiros A Consensus-based Group Decision Support System using a Multi-Agent MicroServices Approach
14 Daniel Gebbran, Gregor Verbič, Archie C. Chapman, Sleiman Mhanna Coordination of Prosumer Agents via Distributed Optimal Power Flow: an Edge Computing Hardware Prototype
17 Artur Niewiadomski, Magdalena Kacprzak, Damian Kurpiewski, Michał Knapik, Wojciech Penczek, Wojciech Jamroga MsATL: a tool for SAT-Based ATL Satisfiability Checking
 19 Agnieszka Zbrzezny, Andrzej Zbrzezny, Sabina Szymoniak, Olga Siedlecka-Lamch, Miroslaw Kurkowski VerSecTis – an agent based model checker for security protocols
20 Rym Wenkstern, Behnam Torabi  DALI: An Agent-Plug-In System to “Smartify” Conventional Traffic Control Systems
21 Hedieh Ranjbartabar, Deborah Richards, Ayse Aysin Bilgin, Cat Kutay, Samuel Mascarenhas User-Models to drive an Adaptive Virtual Advisor
22

Cleber Amaral, Timotheus Kampik, Stephen Cranefield

A Framework for Collaborative and Interactive Agent-oriented Developer Operations