Categories recording Abstractions in Reasoning for Long-Term Autonomy Post date June 20, 2020 ICAPS 2020 Best Dissertation Award Talk - Kyle WrayWatch this video on YouTube Kyle WrayAbstractions in Reasoning for Long-Term Autonomy ← Learning Planning Representations from Traces via SAT → Counterexample-Guided Cartesian Abstraction Refinement and Saturated Cost Partitioning for Optimal Classical Planning
ICAPSICAPS