科什卡，米兰;克里斯蒂安·亨塞尔;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 概率系统的反例引导归纳综合。 （英语） Zbl 1519.68055号 正式Asp。计算。 33，编号4-5，637-667（2021）.MSC公司：68纳米30 60J20型 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人，《正式Asp》。计算。33，编号4--5，637--667（2021；Zbl 1519.68055） 全文： 内政部
科什卡，米兰;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 牧羊群的马尔可夫链。 （英语） Zbl 1527.68144号 Vojnar，Tomáš（编辑）等人，《系统构建和分析的工具和算法》。2019年4月6日至11日，作为欧洲软件理论与实践联合会议（ETAPS 2019）的一部分，在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11428, 172-190 (2019).MSC公司：87年第68季度 60J20型 65年第68季度 60年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人，Lect。注释计算。科学。11428、172-190（2019年；Zbl 1527.68144） 全文： 内政部 arXiv公司