恩斯特·莫里茨·哈恩；马特奥·佩雷斯；斯文·舍韦；法比奥·萨蒙齐；阿舒托什·特里维迪；多米尼克·沃伊特扎克 替代好的MDP自动机。 （英语） Zbl 1522.68270号 Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13505, 303-319 (2022).MSC公司：65年第68季度 第68季度第60季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人，Lect。票据计算。科学。13505、303--319（2022；Zbl 1522.68270） 全文： 内政部 arXiv公司 链接
卡洛利纳，莱蒂宁；帕里斯（Pawe Parys）；斯文·舍韦；多米尼克·沃伊特扎克 求解拟多项式时间奇偶对策的递归方法。 （英语） Zbl 07471697号 日志。方法计算。科学。 18，第1号，第8号论文，第18页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehtinen}等人，《日志》。方法计算。科学。18，第1号，第8号论文，18页（2022；Zbl 07471697） 全文： arXiv公司 链接
理查德·迈尔；斯文·舍韦；帕特里克·托茨克；多米尼克·沃伊特扎克 具有近似能量平价目标的简单随机博弈是NP和conp。 （英语） Zbl 07410437号 Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12650, 427-447 (2021).MSC公司：68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Mayr}等人，Lect。票据计算。科学。12650427--447（2021；Zbl 07410437） 全文： 内政部 arXiv公司
黄忠浩；斯文·舍韦；王法恩 模型检查迭代游戏。 （英语） 兹比尔1380.68275 学报信息。 54，第7号，625-654（2017）.MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Huang}等人，《学报》第54期，第7期，第625--654页（2017年；Zbl 1380.68275） 全文： 内政部
安舒尔·古普塔；斯文·舍韦；阿舒托什·特里维迪；迪帕克（Deepak），玛兰·赛·克里希纳（Maram Sai Krishna）；巴达提·库马尔 奖励Stackelberg mean-payoff游戏。 （英语） Zbl 1390.91073号 De Nicola，Rocco（编辑）等人，《软件工程和形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。计算机科学课堂讲稿9763304-320（2016）。MSC公司：91A43型 91A06型 91A65型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Gupta｝等人，Lect。票据计算。科学。9763，304--320（2016；Zbl 1390.91073） 全文： 内政部 arXiv公司
约翰·费恩利；多龙·贝利德；斯文·舍韦 简洁系统的合成。 （英语） Zbl 1320.68078号 J.计算。系统。科学。 81，第7期，1171-1193（2015）.MSC公司：2005年第68季度 2015年第68季度 2017年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.Fearnley｝等人，J.Comput。系统。科学。81，编号71171——1193（2015年；兹bl 1320.68078） 全文： 内政部 arXiv公司
斯文·舍韦 确定Büchi自动机的更严格界限。 （英语） Zbl 1234.68239号 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504167-181（2009）。MSC公司：65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}，莱克特。票据计算。科学。5504167--181（2009年；Zbl 1234.68239） 全文： 内政部