875 search results - page 2 / 175 » On Reachability Under Uncertainty |
TACAS
2012
Springer
12 years 2 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
CCE
2008
13 years 7 months ago
2008
Uncertainty is a very important concern in production scheduling since it can cause infeasibilities and production disturbances. Thus scheduling under uncertainty has received a l...
INFOCOM
2005
IEEE
14 years 28 days ago
2005
IEEE
AI
2008
Springer
13 years 7 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper explores the planning and control of a manipulation task accomplished in conditions of high uncertainty. Statistical techniques, like particle filters, provide a fr...