5216 search results - page 383 / 1044 » Planning as Model Checking |
169
click to vote
ATMOS
2007
15 years 8 months ago
2007
Efficient public transportation is becoming increasingly vital for modern capitals. DSB S-tog a/s is the major supplier of rail traffic on the infrastructure of the city-rail netwo...
201
click to vote
PTS
2008
15 years 8 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
123
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper introduces a new algorithm for probabilistic motion planning in arbitrary, uncertain vector fields, with emphasis on high-level planning for Montgolfier´e balloons...
187
Voted
COLT
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of planning in a stochastic and discounted environment with a limited numerical budget. More precisely, we investigate strategies exploring the set of poss...
196
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
We address the problem of making online, parallel query plans fault-tolerant: i.e., provide intra-query fault-tolerance without blocking. We develop an approach that not only achi...