default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArtificial Intelligence, Volume 147
Volume 147, Number 1-2, July 2003
- Omid Madani, Steve Hanks, Anne Condon:
On the undecidability of probabilistic planning and related stochastic optimization problems. 5-34 - Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso:
Weak, strong, and strong cyclic planning via symbolic model checking. 35-84 - Claudio Castellini
, Enrico Giunchiglia, Armando Tacchella:
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. 85-117 - Stephen M. Majercik, Michael L. Littman:
Contingent planning under uncertainty via stochastic satisfiability. 119-162 - Robert Givan, Thomas L. Dean, Matthew Greig:
Equivalence notions and model minimization in Markov decision processes. 163-223 - Kee-Eung Kim, Thomas L. Dean:
Solving factored MDPs using non-homogeneous partitions. 225-251 - Sven Koenig, Craig A. Tovey, Yury V. Smirnov:
Performance bounds for planning in unknown terrain. 253-279
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
