Learning Logic Specifications for Soft Policy Guidance in POMCP

Giulio Mazzi, Daniele Meli, Alberto Castellini +1

Partially Observable Monte Carlo Planning (POMCP) is an efficient solver for Partially Observable Markov Decision Processes (POMDPs). It allows scaling to large state spaces by com…