875 search results - page 39 / 175 » On Reachability Under Uncertainty |
147
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...
140
click to vote
AAAI
2006
15 years 7 months ago
2006
Planning under uncertainty has been well studied, but usually the uncertainty is in action outcomes. This work instead investigates uncertainty in the amount of time that actions ...
161
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
152
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
Parts manufactured to tolerances have shape variations. Most work in robotic manipulation assumes that part shape does not vary. Orienting devices such as bowl feeders frequently ...
144
click to vote
DATE
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper tackles the problem of dynamic power management (DPM) in nanoscale CMOS design technologies that are typically affected by increasing levels of process, voltage, and te...