Book One
Main Track
Privacy Leakage of Search-Based Multi-Agent Planning Algorithms
PDFSubset-Saturated Cost Partitioning for Optimal Classical Planning
PDFLearning Scheduling Models from Event Data
PDFRobust and Adaptive Planning under Model Uncertainty
PDFA Factored Approach to Deterministic Contingent Multi-Agent Planning
PDFOn Computational Complexity of Automorphism Groups in Classical Planning
PDFAlgorithm Selection in Optimization and Application to Angry Birds
PDFTheoretical Foundations for Structural Symmetries of Lifted PDDL Tasks
PDFA Theoretical and Algorithmic Analysis of Configurable MDPs
PDFSymbolic Planning with Axioms
PDFBridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs
PDFOn the Pathological Search Behavior of Distributed Greedy Best-First Search
PDFEfficient Heuristic Search for Optimal Environment Redesign
PDFMeasuring and Optimizing Durability against Scheduling Disturbances
PDFBackward Sequence Analysis for Single-Armed Cluster Tools
PDFUsing FastMap to Solve Graph Problems in a Euclidean Space
PDFDisjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search
PDFError-Tolerant Anytime Approach to Plan Recognition Using a Particle Filter
PDFDiscovery of Optimal Solution Horizons in Non-Stationary Markov Decision Processes with Unbounded Rewards
PDFA Multi-Agent Framework to Solve Energy-Aware Unrelated Parallel Machine Scheduling Problems with Machine-Dependent Energy Consumption and Sequence-Dependent Setup Time
PDFEliminating Redundant Actions in Partially Ordered Plans — A Complexity Analysis
PDFOn Compiling Away PDDL3 Soft Trajectory Constraints without Using Automata
PDFLandmark-Enhanced Heuristics for Goal Recognition in Incomplete Domain Models
PDFLagrangian Decomposition for Optimal Cost Partitioning
PDFFinding Centroids and Minimum Covering States in Planning
PDFA Stochastic Dual Dynamic Integer Programming for the Uncapacitated Lot-Sizing Problem with Uncertain Demand and Costs
PDFCounterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning
PDFRobust Operations Management on Mars
PDFAdvanced Factoring Strategies for Decoupled Search Using Linear Programming
PDFTree-REX: SAT-Based Tree Exploration for Efficient and High-Quality HTN Planning
PDFOversubscription Planning as Classical Planning with Multiple Cost Functions
PDFMixed Discrete Continuous Non-Linear Planning through Piecewise Linear Approximation
PDFRelaxed BDDs: An Admissible Heuristic for Delete-Free Planning Based on a Discrete Relaxation
PDFExplicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior
PDFEfficiently Exploring Ordering Problems through Conflict-Directed Search
PDFCutting the Size of Compressed Path Databases with Wildcards and Redundant Symbols
PDFAn Empirical Study of Perfect Potential Heuristics
PDFStochastic Planning with Lifted Symbolic Trajectory Optimization
PDFFoundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications
PDFAn Exact Algorithm to Make a Trade-Off between Cost and Probability in SSPs
PDFLazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation
PDFOn the Relation between Star-Topology Decoupling and Petri Net Unfolding
PDFPlanning with Global State Constraints and State-Dependent Action Costs
PDFPropagating Piecewise-Linear Weights in Temporal Networks
PDFOnline Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments
PDFImproving the Combination of JPS and Geometric Containers
PDFUsing Bi-Directional Information Exchange to Improve Decentralized Schedule-Driven Traffic Control
PDFTemporal Planning as Refinement-Based Model Checking
PDFTabu-Based Large Neighbourhood Search for Time/Sequence-Dependent Scheduling Problems with Time Windows
PDFA Multi-Label A* Algorithm for Multi-Agent Pathfinding
PDFBest-First Width Search for Multi Agent Privacy-Preserving Planning
PDFDREAM: An Algorithm for Mitigating the Overhead of Robust Rescheduling
PDFApproximate Gradient Descent Convergence Dynamics for Adaptive Control on Heterogeneous Networks
PDFTowards a Unified View of AI Planning and Reactive Synthesis
PDFCyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State
PDFA Logical Semantics for PDDL+
PDFPlanning under LTL Environment Specifications
PDFQuantifying Degrees of Controllability in Temporal Networks with Uncertainty
PDFModel Recognition as Planning
PDF
Novel Applications
Solution Approaches for an Automotive Paint Shop Scheduling Problem
PDFPersonalized Medication and Activity Planning in PDDL+
PDFOptimizing Parameters for Uncertain Execution and Rescheduling Robustness
PDFThe Clustered Dial-a-Ride Problem
PDFExact Methods for Extended Rotating Workforce Scheduling Problems
PDFZAC: A Zone Path Construction Approach for Effective Real-Time Ridesharing
PDFTowards Automating Crime Prevention through Environmental Design (CPTED) Analysis to Predict Burglary
PDFMixed Integer Programming versus Evolutionary Computation for Optimizing a Hard Real-World Staff Assignment Problem
PDFReinforcement Learning Based Querying in Camera Networks for Efficient Target Tracking
PDFTemporal Brittleness Analysis of Task Networks for Planetary Rovers
PDF
Planning and Learning
Unsupervised Grounding of Plannable First-Order Logic Representation from Images
PDFTowards Stable Symbol Grounding with Zero-Suppressed State AutoEncoder
PDFFast Feature Selection for Linear Value Function Approximation
PDFResource Constrained Deep Reinforcement Learning
PDFLearning Interpretable Models Expressed in Linear Temporal Logic
PDFSize Independent Neural Transfer for RDDL Planning
PDFLearning Classical Planning Strategies with Policy Gradient
PDFDeep Policies for Width-Based Planning in Pixel Domains
PDFEntropy Based Independent Learning in Anonymous Multi-Agent Settings
PDF
Robotics
Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution
PDFLearning Heuristic Functions for Mobile Robot Path Planning Using Deep Neural Networks
PDFA Hierarchical Approach to Active Semantic Mapping Using Probabilistic Logic and Information Reward POMDPs
PDFReplanning for Situated Robots
PDFSpeeding Up Search-Based Motion Planning via Conservative Heuristics
PDFTrajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks
PDFClothoidal Local Path Template for Intention Estimation by Assistive Mobile Robots
PDFPOMDP-Based Candy Server:Lessons Learned from a Seven Day Demo
PDFMars On-Site Shared Analytics Information and Computing
PDFProvable Indefinite-Horizon Real-Time Planning for Repetitive Tasks
PDFOpen-World Reasoning for Service Robots
PDFPOMHDP: Search-Based Belief Space Planning Using Multiple Heuristics
PDFGeneralized Lazy Search for Robot Motion Planning:Interleaving Search and Edge Evaluation via Event-Based Toggles
PDF