| 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 |
| Validation of Hierarchical Plans via Parsing of Attribute Grammars
|
2018 |
Barták, Roman |
| A TIL-Relaxed Heuristic for Planning with Time Windows
|
2018 |
Allard, Tony |
| Temporal Planning While the Clock Ticks
|
2018 |
Cashmore, Michael |
| Compact Policies for Fully-Observable Non-Deterministic Planning as SAT
|
2018 |
Geffner, Tomas |
Tag hinzufügen