Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability. - Daisuke Nakai; Masaki Muramatsu; Susumu Nishimura (CoRR, 2023)