@第{zbMATH07307314条，作者={Sangnier、Arnaud和Sznajder、Nathalie和Potop-Butucaru、Maria和Tixeuil、S{\'e}bastien}，Title={环上不经意机器人算法的参数化验证}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={56}，数字={1-3}，页码={55--89}，年份={2020年}，语言={英语}，DOI={10.1007/s10703-019-00335-y}，关键词={68Q60,68T40}，zbMATH={7307314}，Zbl={1506.68058}}