乔纳斯·林格；德奥利维拉·奥利维拉，马特乌斯；佩特拉·沃尔夫 从正反例中学习：二进制字母的新证明。 （英语） Zbl 1529.68125号 信息处理。莱特。 183，文章ID 106427，6 p.（2024）.MSC公司：68问题32 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Lingg}等人，《信息处理》。莱特。183，文章ID 106427，6 p.（2024；Zbl 1529.68125） 全文： DOI程序 arXiv公司
乔纳斯·林格；德奥利维拉·奥利维拉，马特乌斯；佩特拉·沃尔夫 从正反两个例子中学习：二分法和参数化算法。 （英语） Zbl 07577714号 Bazgan，Cristina（编辑）等人，《组合算法》。2022年6月7日至9日，第33届国际研讨会，IWOCA 2022，德国特里尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13270, 398-411 (2022).MSC公司：68卢比 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{J.Lingg}等人，Lect。注释计算。科学。13270398--411（2022；Zbl 07577714） 全文： DOI程序
马丁·塔普勒；埃迪·穆什卡丁；艾切尔尼格，伯恩哈德·K。；药丸，印戈 随机反应系统的主动模型学习。 （英语） 兹比尔1522.68348 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 481-500 (2021).MSC公司：60年第68季度 68问题32 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人，Lect。注释计算。科学。13085、481--500（2021；Zbl 1522.68348） 全文： DOI程序
马丁·塔普勒；艾切尔尼格，伯恩哈德·K。；乔瓦尼·巴奇；玛丽亚·艾希塞德；Larsen，Kim G。 \基于（L^\ast）的马尔可夫决策过程学习（扩展版本）。 （英语） Zbl 1519.68106号 正式Asp。计算。 33，编号4-5，575-615（2021）.MSC公司：68问题32 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人，正式Asp。计算。33，编号4--5，575--615（2021；Zbl 1519.68106） 全文： DOI程序 arXiv公司
艾切尔尼格，伯恩哈德·K。；马丁·塔普勒 概率黑盒可达性检查（扩展版本）。 （英语） Zbl 1425.68247号 形式方法系统。设计。 54，第3期，416-448（2019）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Aichernig}和\textit{M.Tappler}，《形式方法系统》。设计。54，编号3，416–448（2019年；兹bl 1425.68247） 全文： DOI程序
菲利波·邦奇；亚历山德拉·席尔瓦；安娜·索科洛娃 凸代数的幂。 （英语） Zbl 1442.68085号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第23条，第18页（2017年）。MSC公司：65年第68季度 68问题55 70年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。85，第23条，第18页（2017年；Zbl 1442.68085） 全文： DOI程序
毛，华；陈英科；曼弗雷德·杰格；托马斯·尼尔森。；Larsen，Kim G。；布莱恩·尼尔森 从模型检查的角度学习确定性概率自动机。 （英语） Zbl 1454.68061号 机器。学习。 105，第2期，255-299（2016）.MSC公司：68问题32 03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Mao}等人，马赫。学习。105，第2号，255--299（2016；Zbl 1454.68061） 全文： DOI程序