conftrace_

optimal path

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

reward-weighted transition system (1) pathfinding algorithm (1) pruning rule (1) winding constraint (1) weighted grid (1) symmetry breaking (1) graph-based search (1) modal logic (1) formal verification (1) path planning (1)

Papers

A Modal Logic of Optimality (Student Abstract) AAAI 2025 Optimal Pathfinding on Weighted Grid Maps AAAI 2023 Efficiently finding optimal winding-constrained loops in the plane RSS 2012