Planning under LTL Environment Specifications
|
2019 |
Aminof, Benjamin |
Approximate Gradient Descent Convergence Dynamics for Adaptive Control on Heterogeneous Networks
|
2019 |
Carpentier, Jean |
Explicability? Legibility? Predictability? Transparency? Privacy? Security? The Emerging Landscape of Interpretable Agent Behavior
|
2019 |
Chakraborti, Tathagata |
An Empirical Study of Perfect Potential Heuristics
|
2019 |
Correa, Augusto B. |
An Exact Algorithm to Make a Trade-Off between Cost and Probability in SSPs
|
2019 |
Freire, Valdinei |
Mixed Discrete Continuous Non-Linear Planning through Piecewise Linear Approximation
|
2019 |
Denenberg, Elad |
Efficient Heuristic Search for Optimal Environment Redesign
|
2019 |
Keren, Sarah |
Planning with Global State Constraints and State-Dependent Action Costs
|
2019 |
Ivankovic, Franc |
On the Pathological Search Behavior of Distributed Greedy Best-First Search
|
2019 |
Kuroiwa, Ryo |
Measuring and Optimizing Durability against Scheduling Disturbances
|
2019 |
Lee, Joon Young |
Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search
|
2019 |
Li, Jiaoyang |
Discovery of Optimal Solution Horizons in Non-Stationary Markov Decision Processes with Unbounded Rewards
|
2019 |
Neustroev, Grigory |
Lagrangian Decomposition for Optimal Cost Partitioning
|
2019 |
Pommerening, Florian |
Counterexample-Guided Abstraction Refinement for Pattern Selection in Optimal Classical Planning
|
2019 |
Rovner, Alexander |
Tree-REX: SAT-Based Tree Exploration for Efficient and High-Quality HTN Planning
|
2019 |
Schreiber, Dominik |
Algorithm Selection in Optimization and Application to Angry Birds
|
2019 |
Shperberg, Shahaf S. |
Symbolic Planning with Axioms
|
2019 |
Speck, David |
Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs
|
2019 |
Steinmetz, Marcel |
Personalized Medication and Activity Planning in PDDL+
|
2019 |
Alaboud, Fares K. |
Exact Methods for Extended Rotating Workforce Scheduling Problems
|
2019 |
Kletzander, Lucas |