Compact Policies for Fully-Observable Non-Deterministic Planning as SAT

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International Conference on Automated Planning and Scheduling (28. : 2018 : Delft) Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling
1. Verfasser: Geffner, Tomas (VerfasserIn)
Weitere Verfasser: Geffner, Hector (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2018
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Scalability of Route Planning Techniques 2018 Blum, Johannes
Sensor Synthesis for POMDPs with Reachability Objectives 2018 Chatterjee, Krishnendu
A Generic Method to Guide HTN Progression Search with Classical Heuristics 2018 Höller, Daniel
Integrating Resource Management and Timeline-Based Planning 2018 Umbrico, Alessandro
Embedding a Scheduler in Execution for a Planetary Rover 2018 Chi, Wayne
Bounded Rank Optimization for Effective and Efficient Emergency Response 2018 Manohar, Pallavi
The Integrated Last-Mile Transportation Problem (ILMTP) 2018 Raghunathan, Arvind U.
A Local Search Approach to Observation Planning with Multiple UAVs 2018 Bit-Monnot, Arthur
Monte-Carlo Planning for Agile Legged Locomotion 2018 Clary, Patrick
A Loosely-Coupled Approach for Multi-Robot Coordination, Motion Planning and Control 2018 Pecora, Federico
A Log-Approximation for Coverage Path Planning with the Energy Constraint 2018 Wei, Minghan
A Proof System for Unsolvable Planning Tasks 2018 Eriksson, Salome€
Algorithms and Conditional Lower Bounds for Planning Problems 2018 Chatterjee, Krishnendu
Adding Heuristics to Conflict-Based Search for Multi-Agent Path Finding 2018 Feiner, Ariel
MS-Lite: A Lightweight, Complementary Merge-and-Shrink Method 2018 Fan, Gaojian
A Novel Iterative Approach to Top-& Planning 2018 Katz, Michael
Value Driven Landmarks for Oversubscription Planning 2018 Muller, Daniel
Compiling Probabilistic Model Checking into Probabilistic Planning 2018 Klauck, Michaela
Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters 2018 Nilsson, Mikael
Local Search for Flowshops with Setup Times and Blocking Constraints 2018 Riahi, Vahid
Alle Artikel auflisten