1
Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
将采样与模型检查结合，为POMDP策略综合提供形式化保证，突破安全关键应用瓶颈。
arXiv:2605.14440v1 Announce Type: new Abstract: Partially Observable Markov Decision Processes (POMDPs) are the standard framework for decision-making…