5216 search results - page 333 / 1044 » Planning as Model Checking |
151
click to vote
AGENTS
1997
Springer
15 years 9 months ago
1997
Springer
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
121
click to vote
AIPS
2000
15 years 6 months ago
2000
Goal-directed Markov Decision Process models (GDMDPs) are good models for many decision-theoretic planning tasks. They have been used in conjunction with two different reward stru...
151
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— We consider the problem of finding sufficiently simple models of high-dimensional physical systems that are consistent with observed trajectories, and using these models to s...
146
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
126
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...