conftrace_

planning under uncertainty

15 papers

Explore in graph

Co-occurring keywords

partially observable markov decision process (178) partially observable markov decision processes (7) online planning (37) belief state (75) automated theorem proving (39) policy network (52) information gathering (11) stochastic method (95) autonomous system (63) formal proof (10)

Papers

Planning with Uncertain Action Models AAAI 2026
Trustworthy Autonomy Without Human Intervention in Uncertain Domains AAAI 2026
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
The Trembling-Hand Problem for LTLf Planning IJCAI 2024
Learning to reason about contextual knowledge for planning under uncertainty UAI 2023
A Penny for Your Thoughts: The Value of Communication in Ad Hoc Teamwork IJCAI 2020
Belief-Dependent Macro-Action Discovery in POMDPs using the Value of Information NIPS 2020
Real-Time Planning as Decision-Making under Uncertainty AAAI 2019
Efficient Planning Under Uncertainty with Incremental Refinement UAI 2019
HyP-DESPOT: A Hybrid Parallel Algorithm for Online Planning under Uncertainty RSS 2018
Goal-HSVI: Heuristic Search Value Iteration for Goal POMDPs IJCAI 2018
QMDP-Net: Deep Learning for Planning under Partial Observability NIPS 2017
Adaptive Stochastic Optimization: From Sets to Paths NIPS 2015
Periodic Finite State Controllers for Efficient POMDP and DEC-POMDP Planning NIPS 2011
A POMDP Extension with Belief-dependent Rewards NIPS 2010