Elboher, A., Bensoussan, A., Karpas, E., Ruml, W., Shperberg, S.S. and Shimony, E. 2023. A Formal Metareasoning Model of Concurrent Planning and Execution. Proceedings of the AAAI Conference on Artificial Intelligence. 37, 10 (Jun. 2023), 12427-12435. DOI:https://doi.org/10.1609/aaai.v37i10.26464.