129
Voted
HYBRID
2010
Springer
15 years 9 days ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...