Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications.

Samuel Williams, Jyotirmoy Deshmukh

Browse the full CAV paper archive.