M. Diamanti and D. Thue, “Automatic Abstraction and Refinement for Simulations with Adaptive Level of Detail”, AIIDE, vol. 15, no. 1, pp. 17-23, Oct. 2019.