伊丽莎白·伯琼斯 法比安-弗雷 马丁·拉西克 从有限值非确定性传感器到确定性双带自动机。 1月13日 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470688 conf/lics/2021 db/conf/lics/lics2021.html#BurjonsFR21