@article{aformalmetareasoningmodelofconcurrent,
  title = {A Formal Metareasoning Model of Concurrent Planning and Execution},
  author = {Amihay Elboher and Ava Bensoussan and Erez Karpas and Wheeler Ruml and Shahaf S. Shperberg and Solomon E. Shimony},
  year = {2023},
  eprint = {2303.02664},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2303.02664v1},
}