3 search results - page 1 / 1 » Managing non-determinism in symbolic robot motion planning a... |
ICRA
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
ISER
2004
Springer
13 years 10 months ago
2004
Springer
A virtual fence is created by applying an aversive stimulus to an animal when it approaches a predefined boundary. It is implemented by a small animal-borne computer system with a...
JFR
2007
13 years 4 months ago
2007
To achieve the ever increasing demand for science return, planetary exploration rovers require more autonomy to successfully perform their missions. Indeed, the communication dela...