-
1
-
-
84880890864
-
Planning in nondeterministic domains under partial observability via symbolic model checking
-
Bernhard Nebel, editor, Morgan Kaufmann Publishers
-
Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri, and Paolo Traverso. Planning in nondeterministic domains under partial observability via symbolic model checking. In Bernhard Nebel, editor, Proceedings of the 17th International Joint Conference on Artificial Intelligence, pages 473-478. Morgan Kaufmann Publishers, 2001.
-
(2001)
Proceedings of the 17th International Joint Conference on Artificial Intelligence
, pp. 473-478
-
-
Bertoli, P.1
Cimatti, A.2
Roveri, M.3
Traverso, P.4
-
2
-
-
85166261608
-
Planning with incomplete information as heuristic search in belief space
-
Steve Chien, Subbarao Kambhampati, and Craig A. Knoblock, editors, AAAI Press
-
Blai Bonet and Héctor Geffner. Planning with incomplete information as heuristic search in belief space. In Steve Chien, Subbarao Kambhampati, and Craig A. Knoblock, editors, Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, pages 52-61. AAAI Press, 2000.
-
(2000)
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems
, pp. 52-61
-
-
Bonet, B.1
Geffner, H.2
-
3
-
-
0028413136
-
Symbolic model checking for sequential circuit verification
-
J. R. Burch, E. M. Clarke, D. E. Long, K. L. MacMillan, and D. L. Dill. Symbolic model checking for sequential circuit verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 13(4):401-424, 1994.
-
(1994)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.13
, Issue.4
, pp. 401-424
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
MacMillan, K.L.4
Dill, D.L.5
-
4
-
-
0032073263
-
Planning and acting in partially observable stochastic domains
-
Leslie Pack Kaelbling, Michael L. Littman, and Anthony R. Cassandra. Planning and acting in partially observable stochastic domains. Artificial Intelligence, 101(1-2):99-134, 1998.
-
(1998)
Artificial Intelligence
, vol.101
, Issue.1-2
, pp. 99-134
-
-
Kaelbling, L.P.1
Littman, M.L.2
Cassandra, A.R.3
-
6
-
-
0001205548
-
Complexity of finite-horizon Markov decision process problems
-
Martin Mundhenk, Judy Goldsmith, Christopher Lusena, and Eric Allender. Complexity of finite-horizon Markov decision process problems. Journal of the ACM, 47(4):681-720, 2000.
-
(2000)
Journal of the ACM
, vol.47
, Issue.4
, pp. 681-720
-
-
Mundhenk, M.1
Goldsmith, J.2
Lusena, C.3
Allender, E.4
-
8
-
-
85164950820
-
Backward plan construction under partial observability
-
Malik Ghallab, Joachim Hertzberg, and Paolo Traverso, editors, AAAI Press
-
Jussi Rintanen. Backward plan construction under partial observability. In Malik Ghallab, Joachim Hertzberg, and Paolo Traverso, editors, Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, pages 173-182. AAAI Press, 2002.
-
(2002)
Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems
, pp. 173-182
-
-
Rintanen, J.1
-
9
-
-
13444301648
-
Complexity of planning with partial observability
-
Shlomo Zilberstein, Jana Koehler, and Sven Koenig, editors, AAAI Press
-
Jussi Rintanen. Complexity of planning with partial observability. In Shlomo Zilberstein, Jana Koehler, and Sven Koenig, editors, ICAPS 2004. Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling, pages 345-354. AAAI Press, 2004.
-
(2004)
ICAPS 2004. Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling
, pp. 345-354
-
-
Rintanen, J.1
-
11
-
-
0015658957
-
The optimal control of partially observable Markov processes over a finite horizon
-
Richard D. Smallwood and Edward J. Sondik. The optimal control of partially observable Markov processes over a finite horizon. Operations Research, 21:1071-1088, 1973.
-
(1973)
Operations Research
, vol.21
, pp. 1071-1088
-
-
Smallwood, R.D.1
Sondik, E.J.2
|