A Aralex Aachen research explorer

July 04, 2010 conference-paper Open access

Symbolic Dynamic Programming for First-order POMDPs

Proceedings of the AAAI Conference on Artificial Intelligence

DOI: 10.1609/aaai.v24i1.7747 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 77

Verifying Belief-Based Programs via Symbolic Dynamic Programming
2023 Frontiers in artificial intelligence and applications book-chapter Computer Science Logic, Reasoning, and Knowledge Open access

1

citations

1 result

References 0