@第{zbMATH07135842条，作者={Aichernig，Bernhard K.和Tappler，Martin}，标题={概率黑盒可达性检查（扩展版本）}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={54}，数字＝｛3｝，页码={416--448}，年份={2019}，语言={英语}，DOI={10.1007/s10703-019-00333-0}，关键词={68Q60}，zbMATH={7135842}，Zbl={1425.68247}}