conftrace_

persistent surveillance

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

temporal logic (2) motion planning (2) vehicle routing problem (1) autonomous vehicle (1) receding horizon control (1) formal verification (1)

Papers

An Automata-Theoretic Approach to the Vehicle Routing Problem RSS 2014 Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications RSS 2013