System Demonstrations
The system demonstrations can be found during the lunch break on Wednesday in the Foyer.
- Human-in-the-Loop Domain-Model Acquisition
Yuncong Li and Hankz Hankui Zhuo - SynKit: Finite LTL synthesis as a service
Winner, Best System Demonstration
Alberto Camacho, Christian Muise, Jorge A. Baier, and Sheila A. McIlraith - Visualizations for an Explainable Planning Agent
Runner-Up, Best System Demonstration
Tathagata Chakraborti, Kshitij P. Fadnis, Kartik Talamadupula, Mishal Dholakia, Biplav Srivastava, Jeffrey O. Kephart, and Rachel K. E. Bellamy - MA-RADAR - A Mixed-Reality Interface for Collaborative Decision Making
Sailik Sengupta, Tathagata Chakraborti, and Subbarao Kambhampati - NL2PDDL: A Conversational Interface for Model Generation and Iteration
Kshitij P. Fadnis and Kartik Talamadupula - A Simulation Framework for Computation Sharing in Mars Spacecraft Network
Tiago Vaquero, Joshua Vander Hook, Martina Troesch, and Steve Chien - A Journey Through an Autonomous Multi-rover Coordination Scenario in Mars Cave Exploration
Martina Troesch, Tiago Vaquero, Amos Byon, and Steve Chien - XPlan: Experiment Planning for Synthetic Biology
Ugur Kuter, Robert P. Goldman, Daniel Bryce, and Jacob Beal - PDDL Authoring and Validation Environment for Building End-to-End Planning Solutions
Jan Dolejsi, Derek Long, Maria Fox, and Gilles Besançon
News
June 2018 - Tutorial materials are being made available.
June 2018 - Can't attend ICAPS? Check out our live stream instead!
June 2018 - Additional details about the Doctoral Consortium, Robotics Lab Tours and a City Tour are now available.
April 2018 - Detailed schedule is available.
April 2018 - Registration has been opened and information about student support is available.
February 2018 - Accepted papers announced.
January 2018 - The Call for Papers of the Journal Presentation Track and the Call for System Demos are online.
December 2017 - The workshop program has been announced, and accommodation details are now available.
December 2017 - The calls for nominations for the Best Dissertation Award and the Influential Paper Award are online.
November 2017 - Invited Speakers announced
October 2017 - Call for Tutorial Proposals and Workshop Proposals available
September 2017 - Call for Papers released
June 2017 - ICAPS 2018 announced
