


default search action
29th ICAPS 2019: Berkeley, CA, USA
- J. Benton, Nir Lipovetzky, Eva Onaindia, David E. Smith, Siddharth Srivastava:

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019. AAAI Press 2019
Main Track
- Jordan R. Abrahams, David A. Chu, Grace Diehl, Marina Knittel, Judy Lin, William Lloyd, James C. Boerkoel Jr., Frank Jeremy:

DREAM: An Algorithm for Mitigating the Overhead of Robust Rescheduling. 3-12 - Diego Aineto, Sergio Jiménez, Eva Onaindia, Miquel Ramírez:

Model Recognition as Planning. 13-21 - Shyan Akmal, Savana Ammons, Hemeng Li, James C. Boerkoel Jr.:

Quantifying Degrees of Controllability in Temporal Networks with Uncertainty. 22-30 - Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin:

Planning under LTL Environment Specifications. 31-39 - Vitaliy Batusov, Mikhail Soutchanski:

A Logical Semantics for PDDL+. 40-48 - Arthur Bit-Monnot, Luca Pulina, Armando Tacchella:

Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. 49-57 - Alberto Camacho, Meghyn Bienvenu, Sheila A. McIlraith:

Towards a Unified View of AI Planning and Reactive Synthesis. 58-67 - Jean Carpentier, Sebastien Blandin:

Approximate Gradient Descent Convergence Dynamics for Adaptive Control on Heterogeneous Networks. 68-76 - Margarita P. Castro, Chiara Piacentini, André A. Ciré, J. Christopher Beck:

Relaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation. 77-85 - Tathagata Chakraborti, Anagha Kulkarni, Sarath Sreedharan, David E. Smith, Subbarao Kambhampati:

Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior. 86-96 - Jingkai Chen, Cheng Fang, David Wang, Andrew J. Wang, Brian C. Williams:

Efficiently Exploring Ordering Problems through Conflict-Directed Search. 97-105 - Mattia Chiari, Shizhe Zhao, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Matteo Salvetti, Peter J. Stuckey:

Cutting the Size of Compressed Path Databases with Wildcards and Redundant Symbols. 106-113 - Augusto B. Corrêa, Florian Pommerening:

An Empirical Study of Perfect Potential Heuristics. 114-118 - Hao Cui, Thomas Keller, Roni Khardon:

Stochastic Planning with Lifted Symbolic Trajectory Optimization. 119-127 - Giuseppe De Giacomo, Luca Iocchi, Marco Favorito, Fabio Patrizi:

Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications. 128-136 - Elad Denenberg, Amanda Jane Coles:

Mixed Discrete Continuous Non-Linear Planning through Piecewise Linear Approximation. 137-145 - Valdinei Freire, Karina Valdivia Delgado, Willy Arthur Silva Reis:

An Exact Algorithm to Make a Trade-Off between Cost and Probability in SSPs. 146-154 - Graeme Gange, Daniel Harabor, Peter J. Stuckey:

Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. 155-162 - Alfonso Emilio Gerevini, Nir Lipovetzky, Francesco Percassi, Alessandro Saetti, Ivan Serina:

Best-First Width Search for Multi Agent Privacy-Preserving Planning. 163-171 - Daniel Gnad, Jörg Hoffmann:

On the Relation between Star-Topology Decoupling and Petri Net Unfolding. 172-180 - Florian Grenouilleau, Willem-Jan van Hoeve, John N. Hooker:

A Multi-Label A* Algorithm for Multi-Agent Pathfinding. 181-185 - Lei He, Mathijs de Weerdt, Neil Yorke-Smith:

Tabu-Based Large Neighbourhood Search for Time/Sequence-Dependent Scheduling Problems with Time Windows. 186-194 - Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski:

Temporal Planning as Refinement-Based Model Checking. 195-199 - Hsu-Chieh Hu, Stephen F. Smith:

Using Bi-Directional Information Exchange to Improve Decentralized Schedule-Driven Traffic Control. 200-208 - Yue Hu, Daniel Harabor, Long Qin, Quanjun Yin, Cong Hu:

Improving the Combination of JPS and Geometric Containers. 209-213 - Xin Huang, Sungkweon Hong, Andreas G. Hofmann, Brian C. Williams:

Online Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments. 214-222 - Luke Hunsberger, Roberto Posenato:

Propagating Piecewise-Linear Weights in Temporal Networks. 223-231 - Franc Ivankovic, Dan Gordon, Patrik Haslum:

Planning with Global State Constraints and State-Dependent Action Costs. 232-236 - Michael Katz, Emil Keyder, Dominik Winterer, Florian Pommerening:

Oversubscription Planning as Classical Planning with Multiple Cost Functions. 237-245 - Sarah Keren, Luis Enrique Pineda, Avigdor Gal, Erez Karpas, Shlomo Zilberstein:

Efficient Heuristic Search for Optimal Environment Redesign. 246-254 - Ryo Kuroiwa, Alex Fukunaga:

On the Pathological Search Behavior of Distributed Greedy Best-First Search. 255-263 - Joon Young Lee, Vivaswat Ojha, James C. Boerkoel Jr.:

Measuring and Optimizing Durability against Scheduling Disturbances. 264-268 - Jun-Ho Lee, Hyun-Jung Kim:

Backward Sequence Analysis for Single-Armed Cluster Tools. 269-272 - Jiaoyang Li, Ariel Felner, Sven Koenig, T. K. Satish Kumar:

Using FastMap to Solve Graph Problems in a Euclidean Space. 273-278 - Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig:

Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search. 279-283 - Jean Massardi, Mathieu Gravel, Eric Beaudry:

Error-Tolerant Anytime Approach to Plan Recognition Using a Particle Filter. 284-291 - Grigory Neustroev, Mathijs de Weerdt, Remco A. Verzijlbergh:

Discovery of Optimal Solution Horizons in Non-Stationary Markov Decision Processes with Unbounded Rewards. 292-300 - Giancarlo Nicolò, Sergio Ferrer, Miguel A. Salido, Adriana Giret, Federico Barber:

A Multi-Agent Framework to Solve Energy-Aware Unrelated Parallel Machine Scheduling Problems with Machine-Dependent Energy Consumption and Sequence-Dependent Setup Time. 301-309 - Conny Olz, Pascal Bercher:

Eliminating Redundant Actions in Partially Ordered Plans - A Complexity Analysis. 310-319 - Francesco Percassi, Alfonso Emilio Gerevini:

On Compiling Away PDDL3 Soft Trajectory Constraints without Using Automata. 320-328 - Ramon Fraga Pereira, André Grahl Pereira, Felipe Meneguzzi:

Landmark-Enhanced Heuristics for Goal Recognition in Incomplete Domain Models. 329-337 - Florian Pommerening, Gabriele Röger, Malte Helmert, Hadrien Cambazard, Louis-Martin Rousseau, Domenico Salvagnin:

Lagrangian Decomposition for Optimal Cost Partitioning. 338-347 - Alberto Pozanco, Yolanda E-Martín, Susana Fernández, Daniel Borrajo:

Finding Centroids and Minimum Covering States in Planning. 348-352 - Franco Quezada, Céline Gicquel, Safia Kedad-Sidhoum:

A Stochastic Dual Dynamic Integer Programming for the Uncapacitated Lot-Sizing Problem with Uncertain Demand and Costs. 353-361 - Alexander Rovner, Silvan Sievers, Malte Helmert:

Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning. 362-367 - Michael Saint-Guillain:

Robust Operations Management on Mars. 368-376 - Frederik Schmitt, Daniel Gnad, Jörg Hoffmann:

Advanced Factoring Strategies for Decoupled Search Using Linear Programming. 377-381 - Dominik Schreiber, Damien Pellier, Humbert Fiorino, Tomás Balyo:

Tree-REX: SAT-Based Tree Exploration for Efficient and High-Quality HTN Planning. 382-390 - Jendrik Seipp, Malte Helmert:

Subset-Saturated Cost Partitioning for Optimal Classical Planning. 391-400 - Arik Senderovich, Kyle E. C. Booth, J. Christopher Beck:

Learning Scheduling Models from Event Data. 401-409 - Apoorva Sharma, James Harrison, Matthew Tsao, Marco Pavone:

Robust and Adaptive Planning under Model Uncertainty. 410-418 - Shashank Shekhar, Ronen I. Brafman, Guy Shani:

A Factored Approach to Deterministic Contingent Multi-Agent Planning. 419-427 - Alexander Shleyfman:

On Computational Complexity of Automorphism Groups in Classical Planning. 428-436 - Shahaf S. Shperberg, Solomon Eyal Shimony, Avinoam Yehezkel:

Algorithm Selection in Optimization and Application to Angry Birds. 437-445 - Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz:

Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. 446-454 - Rui Silva, Gabriele Farina, Francisco S. Melo, Manuela Veloso:

A Theoretical and Algorithmic Analysis of Configurable MDPs. 455-463 - David Speck, Florian Geißer, Robert Mattmüller, Álvaro Torralba

:
Symbolic Planning with Axioms. 464-472 - Marcel Steinmetz, Álvaro Torralba

:
Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs. 473-481 - Michal Stolba, Daniel Fiser, Antonín Komenda:

Privacy Leakage of Search-Based Multi-Agent Planning Algorithms. 482-490
Novel Applications
- Fares K. Alaboud, Andrew Coles:

Personalized Medication and Activity Planning in PDDL+. 492-500 - Wayne Chi, Jagriti Agrawal, Steve A. Chien, Elyse Fosse, Usha Guduri:

Optimizing Parameters for Uncertain Execution and Rescheduling Robustness. 501-509 - Fabian Feitsch, Sabine Storandt:

The Clustered Dial-a-Ride Problem. 510-518 - Lucas Kletzander, Nysret Musliu

, Johannes Gärtner, Thomas Krennwallner, Werner Schafhauser:
Exact Methods for Extended Rotating Workforce Scheduling Problems. 519-527 - Meghna Lowalekar, Pradeep Varakantham, Patrick Jaillet:

ZAC: A Zone Path Construction Approach for Effective Real-Time Ridesharing. 528-538 - Leanne Monchuk, Simon Parkinson, James Kitchen:

Towards Automating Crime Prevention through Environmental Design (CPTED) Analysis to Predict Burglary. 539-547 - Jannik Peters, Daniel Stephan, Isabel Amon, Hans Gawendowicz, Julius Lischeid, Lennart Salabarria, Jonas Umland, Felix Werner, Martin S. Krejca, Ralf Rothenberger, Timo Kötzing, Tobias Friedrich:

Mixed Integer Programming versus Evolutionary Computation for Optimizing a Hard Real-World Staff Assignment Problem. 541-554 - Anil Sharma, Saket Anand, Sanjit K. Kaul:

Reinforcement Learning Based Querying in Camera Networks for Efficient Target Tracking. 555-563 - Tiago Vaquero, Steve A. Chien, Jagriti Agrawal, Wayne Chi, Terrance L. Huntsberger:

Temporal Brittleness Analysis of Task Networks for Planetary Rovers. 564-572 - Felix Winter, Nysret Musliu, Emir Demirovic, Christoph Mrkvicka:

Solution Approaches for an Automotive Paint Shop Scheduling Problem. 573-581
Planning and Learning
- Masataro Asai:

Unsupervised Grounding of Plannable First-Order Logic Representation from Images. 583-591 - Masataro Asai, Hiroshi Kajino:

Towards Stable Symbol Grounding with Zero-Suppressed State AutoEncoder. 592-600 - Bahram Behzadian, Soheil Gharatappeh, Marek Petrik:

Fast Feature Selection for Linear Value Function Approximation. 601-609 - Abhinav Bhatia, Pradeep Varakantham, Akshat Kumar:

Resource Constrained Deep Reinforcement Learning. 610-620 - Alberto Camacho, Sheila A. McIlraith:

Learning Interpretable Models Expressed in Linear Temporal Logic. 621-630 - Sankalp Garg, Aniket Bajpai, Mausam:

Size Independent Neural Transfer for RDDL Planning. 631-636 - Pawel Gomoluch, Dalal Alrajeh, Alessandra Russo:

Learning Classical Planning Strategies with Policy Gradient. 637-645 - Miquel Junyent, Anders Jonsson, Vicenç Gómez:

Deep Policies for Width-Based Planning in Pixel Domains. 646-654 - Tanvi Verma, Pradeep Varakantham, Hoong Chuin Lau:

Entropy Based Independent Learning in Anonymous Multi-Agent Settings. 655-663
Robotics
- Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml:

Replanning for Situated Robots. 665-673 - Ishani Chatterjee, Maxim Likhachev, Ashwin Khadke, Manuela Veloso:

Speeding Up Search-Based Motion Planning via Conservative Heuristics. 674-679 - Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan:

Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. 680-688 - Kevin Denis, Johan Philips, Herman Bruyninckx, Eric Demeester:

Clothoidal Local Path Template for Intention Estimation by Assistive Mobile Robots. 689-697 - Marcus Hörger, Joshua Song, Hanna Kurniawati, Alberto Elfes:

POMDP-Based Candy Server: Lessons Learned from a Seven Day Demo. 698-706 - Joshua Vander Hook, Tiago Vaquero, Federico Rossi, Martina Troesch, Marc Sanchez Net, Joshua Schoolcraft, Jean-Pierre de la Croix, Steve A. Chien:

Mars On-Site Shared Analytics Information and Computing. 707-715 - Fahad Islam, Oren Salzman, Maxim Likhachev:

Provable Indefinite-Horizon Real-Time Planning for Repetitive Tasks. 716-724 - Yuqian Jiang, Nick Walker, Justin W. Hart, Peter Stone:

Open-World Reasoning for Service Robots. 725-733 - Sung-Kyun Kim, Oren Salzman, Maxim Likhachev:

POMHDP: Search-Based Belief Space Planning Using Multiple Heuristics. 734-744 - Aditya Mandalika, Sanjiban Choudhury, Oren Salzman, Siddhartha S. Srinivasa:

Generalized Lazy Search for Robot Motion Planning: Interleaving Search and Edge Evaluation via Event-Based Toggles. 745-753 - Tim Niemueller, Till Hofmann, Gerhard Lakemeyer:

Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. 754-763 - Takeshi Takahashi, He Sun, Dong Tian, Yebin Wang:

Learning Heuristic Functions for Mobile Robot Path Planning Using Deep Neural Networks. 764-772 - Tiago S. Veiga, Miguel Silva, Rodrigo Ventura, Pedro U. Lima:

A Hierarchical Approach to Active Semantic Mapping Using Probabilistic Logic and Information Reward POMDPs. 773-781

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














