Sciweavers

31 search results - page 7 / 7
» Problem-solving behavior in a system model of the primate ne...
Sort
View
HYBRID
2010
Springer
13 years 7 months ago
Receding horizon control for temporal logic specifications
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...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...