5216 search results - page 651 / 1044 » Planning as Model Checking |
190
Voted
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute an expressive framework for multiagent planning under uncertainty, but solving them is provabl...
213
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Minimally invasive cardiac surgery is performed on the beating heart, through inter-costal ports. The two major limitations of these procedures are: selecting port locations for op...
168
click to vote
ICML
2003
IEEE
16 years 7 months ago
2003
IEEE
We present metric?? , a provably near-optimal algorithm for reinforcement learning in Markov decision processes in which there is a natural metric on the state space that allows t...
197
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We set out to answer a question we were asked by software project management: how much effort remains to be spent on a specific software project and how will that effort be distri...
157
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a novel approach for determining robot movements that efficiently accomplish the robot’s tasks while not hindering the movements of people within the environment....