5216 search results - page 1042 / 1044 » Planning as Model Checking |
144
Voted
TROB
2010
15 years 28 days ago
2010
—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...
118
Voted
GI
2009
Springer
15 years 11 days ago
2009
Springer
: When a tactical aircraft sets out on a mission in dense airborne and surface RF (radio frequency) emitter environment, the pilot desires to minimize the use of the onboard fire c...
149
Voted
CSMR
2010
IEEE
14 years 9 months ago
2010
IEEE
To avoid unnecessary maintenance costs in large IT systems resulting from poorly planned changes, it is essential to manage and control changes to the system and to verify that all...
124
Voted
JFR
2010
14 years 9 months ago
2010
Detecting mud hazards is a significant challenge to unmanned ground vehicle (UGV) autonomous offroad navigation. A military UGV stuck in a mud body during a mission may need to be...
170
Voted
MEDES
2010
ACM
14 years 9 months ago
2010
ACM
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...