5216 search results - page 530 / 1044 » Planning as Model Checking |
170
click to vote
IADIS
2003
15 years 8 months ago
2003
Demand responsive transport services are systems that assign users’ specific transport requests to different vehicles enabled to fulfill the required service. In order to contai...
159
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper considers vehicle routing problems (VRP) where customer locations and service times are random variables that are realized dynamically during plan execution. It propose...
183
click to vote
AAAI
1997
15 years 8 months ago
1997
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
169
click to vote
UAI
1997
15 years 8 months ago
1997
Much recent research in decision theoretic planning has adopted Markov decision processes (MDPs) as the model of choice, and has attempted to make their solution more tractable by...
166
click to vote
IAAI
1993
15 years 8 months ago
1993
In 1991 Ford began deployment of the Computer Aided Parts Estimating System (CAPE), a highly advanced knowledge-based system designed to generate, evaluate and cost automotive par...