ICAPS A*

65 papers

YearTitle / Authors
2016A Compilation of the Full PDDL+ Language into SMT.
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
2016A Formal Analysis of Required Cooperation in Multi-Agent Planning.
Yu Zhang, Sarath Sreedharan, Subbarao Kambhampati
2016A Multi-Parameter Complexity Analysis of Cost-Optimal and Net-Benefit Planning.
Meysam Aghighi, Christer Bäckström
2016A Planning-Based Architecture for a Reconfigurable Manufacturing System.
Stefano Borgo, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico
2016A Practical Framework for Robust Decision-Theoretic Planning and Execution for Service Robots.
Luca Iocchi, Laurent Jeanpierre, Maria Teresa Lazaro, Abdel-Illah Mouaddib
2016A Semantic Notion of Interference for Planning Modulo Theories.
Miquel Bofill, Joan Espasa, Mateu Villaret
2016A Unifying Formalism for Shortest Path Problems with Expensive Edge Evaluations via Lazy Best-First Search over Paths with Edge Selectors.
Christopher M. Dellin, Siddhartha S. Srinivasa
2016Abstractions for Planning with State-Dependent Action Costs.
Florian Geißer, Thomas Keller, Robert Mattmüller
2016An Analysis of Merge Strategies for Merge-and-Shrink Heuristics.
Silvan Sievers, Martin Wehrle, Malte Helmert
2016Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2016Automated Creation of Efficient Work Distribution Functions for Parallel Best-First Search.
Yuu Jinnai, Alex S. Fukunaga
2016Bayesian Optimization with Resource Constraints and Production.
Nima Dolatnia, Alan Fern, Xiaoli Z. Fern
2016Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha
2016Cell Design and Routing of Jobs in a Multisite Make-to-Order Enterprise.
Manoj Gupta, R. P. Jagadeesh Chandra Bose, Partha Dutta
2016Change the Plan - How Hard Can That Be?
Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo
2016Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times.
Luke Hunsberger, Roberto Posenato
2016Computing Trace Alignment against Declarative Process Models through Planning.
Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Sebastian Sardiña
2016Domain Model Acquisition in Domains with Action Costs.
Peter Gregory, Alan Lindsay
2016Dual Formulations for Optimizing Dec-POMDP Controllers.
Akshat Kumar, Hala Mostafa, Shlomo Zilberstein
2016Efficient Representation of Pattern Databases Using Acyclic Random Hypergraphs.
Mehdi Sadeqi, Howard J. Hamilton
2016Evaluation of Auction-Based Multi-Robot Routing by Parallel Simulation.
Akihiro Kishimoto, Kiyohito Nagano
2016Experience-Based Robot Task Learning and Planning with Goal Inference.
Vahid Mokhtari, Luís Seabra Lopes, Armando J. Pinho
2016From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends.
Alberto Camacho, Christian J. Muise, Sheila A. McIlraith
2016Generalized Planning with Procedural Domain Control Knowledge.
Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2016Have I Been Here Before? State Memoization in Temporal Planning.
Amanda Jane Coles, Andrew Ian Coles
2016Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty.
Liana Marinescu, Andrew Ian Coles
2016Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems.
Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian Charles Williams
2016Hierarchical Linearly-Solvable Markov Decision Problems.
Anders Jonsson, Vicenç Gómez
2016Indefinite-Horizon Reachability in Goal-DEC-POMDPs.
Krishnendu Chatterjee, Martin Chmelik
2016Integrating Planning and Control for Efficient Path Planning in the Presence of Environmental Disturbances.
Sandip Aine, P. B. Sujit
2016Learning Relational Dynamics of Stochastic Domains for Planning.
David Martínez, Guillem Alenyà, Carme Torras, Tony Ribeiro, Katsumi Inoue
2016Leveraging Probabilistic Reasoning in Deterministic Planning for Large-Scale Autonomous Search-and-Tracking.
Sara Bernardini, Maria Fox, Derek Long, Chiara Piacentini
2016More Shuttles, Less Cost: Energy Efficient Planning for Scalable High-Density Warehouse Environments.
Christian Hütter
2016Multi-Agent Path Finding with Kinematic Constraints.
Wolfgang Hönig, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu, Nora Ayanian, Sven Koenig
2016Multi-Agent Sensor Data Collection with Attrition Risk.
Jeffrey Hudack, Jae C. Oh
2016Numeric Planning with Disjunctive Global Constraints via SMT.
Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiébaux
2016OGA-UCT: On-the-Go Abstractions in UCT.
Ankit Anand, Ritesh Noothigattu, Mausam, Parag Singla
2016Online Algorithms for the Linear Tape Scheduling Problem.
Carlos Cardonha, Lucas Correia Villa Real
2016Online Learning of Robot Soccer Free Kick Plans Using a Bandit Approach.
Juan Pablo Mendoza, Reid G. Simmons, Manuela M. Veloso
2016Online Macro Generation for Privacy Preserving Planning.
Shlomi Maliah, Guy Shani, Ronen I. Brafman
2016Optimal Scheduling of a Constellation of Earth-Imaging Satellites, for Maximal Data Throughput and Efficient Human Management.
Sean Augenstein, Alejandra Estanislao, Emmanuel Guere, Sean Blaes
2016PARIS: A Polynomial-Time, Risk-Sensitive Scheduling Algorithm for Probabilistic Simple Temporal Networks with Uncertainty.
Pedro Henrique de Rodrigues Quemel e Assis Santana, Tiago Vaquero, Cláudio Toledo, Andrew J. Wang, Cheng Fang, Brian Charles Williams
2016Path Planning under Interface-Based Constraints for Assistive Robotics.
Alexander Broad, Brenna D. Argall
2016Placement of Loading Stations for Electric Vehicles: Allowing Small Detours.
Stefan Funke, André Nusser, Sabine Storandt
2016Planning Curtailment of Renewable Generation in Power Grids.
Sambaran Bandyopadhyay, Pratyush Kumar, Vijay Arya
2016Planning and Control of Marine Floats in the Presence of Dynamic, Uncertain Currents.
Martina Troesch, Steve A. Chien, Yi Chao, John D. Farrara
2016Potential Heuristics for Multi-Agent Planning.
Michal Stolba, Daniel Fiser, Antonín Komenda
2016Practical Undoability Checking via Contingent Planning.
Jeanette Daum, Álvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber
2016Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016.
Amanda Jane Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, Scott Sanner
2016Real-Time Stochastic Optimal Control for Multi-Agent Quadrotor Systems.
Vicenç Gómez, Sep Thijssen, Andrew Symington, Stephen Hailes, Hilbert J. Kappen
2016Recursive Polynomial Reductions for Classical Planning.
Jan Tozicka, Jan Jakubuv, Martin Svatos, Antonín Komenda
2016Revisiting Goal Probability Analysis in Probabilistic Planning.
Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
2016Robot Motion Planning for Pouring Liquids.
Zherong Pan, Chonhyon Park, Dinesh Manocha
2016Robust Partial Order Schedules for RCPSP/max with Durational Uncertainty.
Na Fu, Pradeep Varakantham, Hoong Chuin Lau
2016Scheduling Ocean Color Observations for a GEO-Stationary Satellite.
Jeremy Frank, Minh Do, Tony T. Tran
2016Search Portfolio with Sharing.
Sandip Aine, Maxim Likhachev
2016Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions.
Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris J. Dent
2016Speeding Up A* Search on Visibility Graphs Defined Over Quadtrees to Enable Long Distance Path Planning for Unmanned Surface Vehicles.
Brual C. Shah, Satyandra K. Gupta
2016Strategic Planning for Setting Up Base Stations in Emergency Medical Systems.
Supriyo Ghosh, Pradeep Varakantham
2016Strict Theta*: Shorter Motion Path Planning Using Taut Paths.
Shunhao Oh, Hon Wai Leong
2016Stronger Privacy Preserving Projections for Multi-Agent Planning.
Shlomi Maliah, Guy Shani, Roni Stern
2016Task and Motion Policy Synthesis as Liveness Games.
Yue Wang, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki
2016The Mathematics of Dispatchability Revisited.
Paul Henry Morris
2016Towards Next Generation Touring: Personalized Group Tours.
Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera
2016Traps, Invariants, and Dead-Ends.
Nir Lipovetzky, Christian J. Muise, Hector Geffner