马可·波扎诺 亚历山德罗·西马蒂 斯特凡诺·托内塔 维克托里亚·沃扎罗娃 在公平过渡系统中寻找带状路径。 543-560 2022 墨西哥玉米饼（1） https://doi.org/10.1007/978-3-030-99524-9_30 conf/tacas/2022-1 db/conf/tacas/tacas2022-1.html#BozzanoCTV22