A Plan-Based Formal Model of Character Regret. - Martin Martinelli; Justus Robertson (ICIDS, 2021)