875 search results - page 45 / 175 » On Reachability Under Uncertainty |
116
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
111
Voted
TIME
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
123
click to vote
JCP
2007
15 years 18 days ago
2007
Abstract— This paper deals with the use of Bayesian Networks to compute system reliability of complex systems under epistemic uncertainty. In the context of incompleteness of rel...
96
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
We investigate in this paper the anchor selection problem with consideration of anchor location uncertainty, which arises naturally from error propagation problem in successive or...
86
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— In previous work we presented a multi-robot strategy for routing missions in large scenarios where network connectivity must be explicitly preserved. This strategy is founded o...