D3WA+: A Case Study of XAIP in a Model Acquisition Task.
Sarath Sreedharan (Arizona State University), Tathagata Chakraborti (IBM Research AI), Christian Muise (IBM), Yasaman Khazaeni (IBM) and Subbarao Kambhampati (Arizona State University).
PDDLStream: Integrating Symbolic Planners and Blackbox Samplers via Optimistic Adaptive Planning.
Caelan Garrett (Massachusetts Institute of Technology), Tomas Lozano-Perez (Massachusetts Institute of Technology) and Leslie Kaelbling (MIT).
New Developments for Robert – Assisting Novice Users Even Better in DIY Projects.
Gregor Behnke (University of Freiburg), Pascal Bercher (Australian National University), Matthias Kraus (Universität Ulm), Marvin Schiller (Robert Bosch GmbH), Kristof Mickeleit (Ulm University), Timo Häge (Ulm University), Michael Dorna (Robert Bosch GmbH), Michael Dambier (Bosch GmbH), Dietrich Manstetten (Bosch GmbH), Wolfgang Minker (University of Ulm), Birte Glimm (Universität Ulm) and Susanne Biundo (University of Ulm).
PlanCurves: A Visualization Interface for Multi-Agent Temporal Plans.
Pierre Le Bras (Heriot-Watt University), Yaniel Carreno (Edinburgh Centre for Robotics), Ron Petrick (Heriot-Watt University) and Mike Chantler (Heriot-Watt University).
Task Allocation and Planning for Offshore Mission Automation.
Yaniel Carreno (Edinburgh Centre for Robotics), Èric Pairet Artau (Edinburgh Centre for Robotics), Paola Ardón (Edinburgh Centre for Robotics), Yvan Petillot (Ocean Systems Lab, Heriot-Watt University, Edinburgh) and Ron Petrick (Heriot-Watt University).
Decentralised Task Allocation and Planning for Heterogeneous AUVs.
Yaniel Carreno (Edinburgh Centre for Robotics), Èric Pairet Artau (Edinburgh Centre for Robotics), Yvan Petillot (Ocean Systems Lab, Heriot-Watt University, Edinburgh) and Ron Petrick (Heriot-Watt University).
A Web-Based Platform for Iterative Planning with Plan Explanations.
Rebecca Eifler (Saarland University) and Joerg Hoffmann (Saarland University).
Planning in the Browser.
Nicolas Tran (CISPA Helmholtz Center for Information Security, Saarland Informatics Campus), Patrick Speicher (CISPA Helmholtz Center for Information Security, Saarland Informatics Campus), Robert Künnemann (CISPA Helmholtz Center for Information Security, Saarland Informatics Campus), Michael Backes (CISPA Helmholtz Center for Information Security), Álvaro Torralba (Aalborg University) and Joerg Hoffmann (Saarland University, Saarland Informatics Campus).
IBM Scenario Planning Advisor: A Neuro-Symbolic ERM solution.
Mark Feblowitz (IBM), Oktie Hassanzadeh (IBM), Michael Katz (IBM), Shirin Sohrabi (IBM), Kavitha Srinivas (IBM) and Octavian Udrea (IBM Research AI).
OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots.
Roman Barták (Charles University) and Jakub Mestek (Charles University).
FL-AT: A Formal Language–Automaton Transmogrifier.
Jaime Middleton (Pontificia Universidad Catolica de Chile), Toryn Q. Klassen (University of Toronto, Vector Intitute), Jorge Baier (Pontificia Universidad Catolica de Chile, Instituto Milenio Fundamentos de los Datos) and Sheila A. McIlraith (University of Toronto, Vector Intitute).