875 search results - page 45 / 175 » On Reachability Under Uncertainty |
178
click to vote
TABLEAUX
2009
Springer
16 years 19 days 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...
172
Voted
TIME
2007
IEEE
16 years 10 days 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...
186
click to vote
JCP
2007
15 years 6 months 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...
156
click to vote
ICASSP
2011
IEEE
14 years 9 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...
142
click to vote
IROS
2009
IEEE
16 years 22 days 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...