Finite LT’L Synthesis as Planning
|
2018 |
Camacho, Alberto |
The Provable Virtue of Laziness in Motion Planning
|
2018 |
Haghtalab, Nika |
New Perspectives on Flexibility in Simple Temporal Planning
|
2018 |
Huang, Amy |
Sampling Strategies for Conformant Planning
|
2018 |
Grastien, Alban |
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains
|
2018 |
Le, Tiep |
Batch Random Walk for GPU-Based Classical Planning
|
2018 |
Kuroiwa, Ryo |
Two-Oracle Optimal Path Planning on Grid Maps
|
2018 |
Salvetti, Matteo |
Simulated Penetration Testing as Contingent Planning
|
2018 |
Shmaryahu, Dorin |
Representing and Planning with Interacting Actions and Privacy
|
2018 |
Shekhar, Shashank |
A Hybrid Genetic Algorithm for Parallel Machine Scheduling at Semiconductor Back-End Production
|
2018 |
Adan, J. |
CHAP-E: A Plan Execution Assistant for Pilots
|
2018 |
Benton, J. |
Footprint Placement for Mosaic Imaging by Sampling and Optimization
|
2018 |
Mitchell, Scott A. |
Training Deep Reactive Policies for Probabilistic Planning Problems
|
2018 |
Issakkimuthu, Murugeswari |
Minimizing Movement to Establish the Connectivity of Randomly Deployed Robots
|
2018 |
Engin, K. Selim |
Lazy Receding Horizon A” for Efficient Path Planning / in Graphs with Expensive-to-Evaluate Edges
|
2018 |
Mandalika, Aditya |
Handling Model Uncertainty and Multiplicity in Explanations via Model Reconciliation
|
2018 |
Sreedharan, Sarath |
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 |