Yo Mitani;直纪小林;津田，武士 概率高阶不动点逻辑。 （英语） Zbl 07471675号 日志。方法计算。科学。 17，第4号，第15号论文，36页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mitani}等人，《日志》。方法计算。科学。17，第4号，第15号论文，36页（2021；Zbl 07471675） 全文： arXiv公司 链接
安德烈·戈林;罗马克里希南，C.R。 可分离GPL：具有更多非确定性的可判定模型检查。 （英语） Zbl 1520.68074号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。2018年9月4日至7日，中国北京。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第36条，第16页（2018年）。MSC公司：60年第68季度 03B44号 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{A.Gorlin}和\textit{C.R.Ramakrishnan}，LIPIcs——莱布尼茨国际程序。通知。118，第36条，第16页（2018；Zbl 1520.68074） 全文： 内政部
克劳迪娅·考利;尼尔·皮特曼 概率微积分与p-自动机的等价性。 （英语） Zbl 1489.68122号 Carayol，Arnaud（编辑）等人，《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10329, 64-75 (2017).MSC公司：65年第68季度 03B70号 05年3月 60J20型 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Cauli}和\textit{N.Piterman}，莱克特。注释计算。科学。10329，64-75（2017；Zbl 1489.68122） 全文： 内政部
克里希南德·查特吉;尼尔·皮特曼 义务布莱克威尔游戏和p-自动机。 （英语） Zbl 1432.91019号 J.塞姆。日志。 82，第2期，420-452（2017）.MSC公司：91A15型 91A05型 03B44号 03B70号 65年第68季度 2017年第68季度 91A68型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{N.Piterman}，J.Symb。日志。82，第2号，420-452（2017；Zbl 1432.91019） 全文： 内政部 arXiv公司