1 paper
Shilin You, Gael Luna, Juned Shaikh +4
We present an algorithm for planning trajectories that avoid obstacles and satisfy key-door precedence specifications expressed with a fragment of signal temporal logic. Our method…