AREA@ECAI

Keyphrases

Publications

2023

Roland Godet, Charles Lesire, Arthur Bit-Monnot
Multi-Robot Task Planning to Secure Human Group Progress. AREA@ECAI (2023)
Déborah Conforto Nedelmann, Jérôme Lacan, Caroline P. C. Chanel
Online Proactive Multi-Task Assignment with Resource Availability Anticipation. AREA@ECAI (2023)
Davide Catta, Vadim Malvone, Aniello Murano
Reasoning about Intuitionistic Computation Tree Logic. AREA@ECAI (2023)
Caroline Bonhomme, Jean-Louis Dufour
ORTAC+ : A User Friendly Domain Specific Language for Multi-Agent Mission Planning. AREA@ECAI (2023)
Oded Blumenthal, Guy Shani
Rollout Heuristics for Online Stochastic Contingent Planning. AREA@ECAI (2023)
Christopher R. Anderson, Louise A. Dennis
Autonomous Systems' Safety Cases for use in UK Nuclear Environments. AREA@ECAI (2023)
Sven Signer, Ian Gray
Adaptive Application Behaviour for Robot Swarms using Mixed-Criticality. AREA@ECAI (2023)
Jan Vermaelen, Tom Holvoet
Safe and Robust Robot Behavior Planning via Constraint Programming. AREA@ECAI (2023)
Vadim Malvone
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems. AREA@ECAI (2023)
Aya Kherrour, Marco Robol, Marco Roveri, Paolo Giorgini
Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters. AREA@ECAI (2023)
Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando
Runtime Verification for Trustworthy Computing. AREA@ECAI (2023)

volume 391, 2023

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023. AREA@ECAI 391 (2023)

2020

volume 319, 2020

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. AREA@ECAI 319 (2020)