Elboher, A.; Bensoussan, A.; Karpas, E.; Ruml, W.; Shperberg, S. S.; Shimony, E. A Formal Metareasoning Model of Concurrent Planning and Execution. AAAI 2023, 37, 12427-12435.