吉安尼斯·德尔姆帕尔塔基斯;莫特萨·拉希贾尼安;Manuel jun，马祖。;卢卡·劳伦蒂 具有连续动作空间的区间马尔可夫决策过程。 （英文） Zbl 07807953号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号文件，第10页（2023年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Delimpaltadakis}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023；Zbl 07807953） 全文： 内政部 arXiv公司
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 合成中的真空。 （英文） Zbl 1522.68297号 形式方法系统。设计。 57，第3号，473-495（2021）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《形式方法系统》。设计。57，编号3，473-495（2021；兹bl 1522.68297） 全文： 内政部
苏荣 通过有限的传感器读数更改来阻止网络攻击的监督员合成。 （英文） Zbl 1400.93189号 Automatica公司 94，35-44（2018）.MSC公司：93元65角 93甲13 94A62型 93个B05 93亿B50 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{R.Su}，自动化94，35-44（2018；Zbl 1400.93189） 全文： 内政部 arXiv公司
乌里·施拉赫特;威梅尔，哈罗 \基于模态转换系统的（k）-有界Petri网综合。 （英文） Zbl 1442.68151号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第6条，第15页（2017年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Schlachter}和\textit{H.Wimmel}，LIPIcs——莱布尼茨国际程序。通知。85，第6条，第15页（2017年；Zbl 1442.68151） 全文： 内政部
博尔祖·博纳克达尔普尔;桑迪普·库尔卡尼 综合有界时间2相故障恢复。 （英文） Zbl 1328.68045号 正式Asp。计算。 27，第1期，1-31页（2015年）.MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}和\textit{S.Kulkarni}，正式Asp。计算。27，第1号，1--31（2015；Zbl 1328.68045） 全文： 内政部
托马斯·布拉兹迪尔;霍尔格·赫尔曼斯;简·克查尔;简·Křetínsk;艾哈克，沃伊特 开放交互式马尔可夫链的验证。 （英文） Zbl 1354.68170号 D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，474-485（2012）。MSC公司：60年第68季度 60J20型 60年28日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人，LIPIcs——莱布尼茨国际程序。通知。18、474--485（2012；Zbl 1354.68170） 全文： 内政部
吕迪格·埃勒斯 符号有界合成。 （英文） Zbl 1247.68163号 形式方法系统。设计。 40，第2期，232-262（2012）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}，《形式方法系统》。设计。40，第2号，232--262（2012；Zbl 1247.68163） 全文： 内政部
Jean-François Aujol;赛义德·拉贾尔;西蒙·马努 从变化的角度来看，基于示例的修复。 （英文） Zbl 1210.49002号 SIAM J.数学。分析。 42，第3期，1246-1285（2010）.MSC公司：49J10型 49J45型 35兰特 65D18天 68单位10 94A08型 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Aujol}等人，SIAM J.数学。分析。42，第3号，1246--1285（2010；Zbl 1210.49002） 全文： 内政部 链接
蒂图斯，M。;奥凯森，K。 批控制中的Petri网模型。 （英文） Zbl 0938.93044号 数学。计算。模型。动态。系统。 5，第2期，113-132（1999）. 审核人：O.Pastravanu（伊阿什） MSC公司：93元65角 93A30型 68问题85 93亿B50 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{M.Tittus}和\textit{K.奥克森}，数学。计算。模型。动态。系统。5，第2号，113--132（1999；Zbl 0938.93044） 全文： 内政部 链接
塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 使用线性时序逻辑来建模和解决规划问题。 （英文） Zbl 0927.03049号 Giunchiglia，Fausto（编辑），《人工智能：方法、系统和应用》。第八届国际会议，AIMSA’98。保加利亚索佐波尔，1998年9月21日至23日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1480, 141-152 (1998).MSC公司：03B70号 68T27型 03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cerrito}和\textit{M.Cialdea Mayer}，莱克特。注释计算。科学。1480、141--152（1998年；Zbl 0927.03049）
约翰·赖夫（John H.Reif）。 Toeplitz系统和多项式GCD的高效并行解。 （英文） Zbl 0948.65500号 第27届ACM计算理论年会论文集。1995年5月29日至6月1日，美国内华达州拉斯维加斯。纽约州纽约市：ACM，751-761（1995年）。MSC公司：65平方英尺 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif}，摘自：1995年STOC第27届年度ACM计算理论研讨会论文集。美国内华达州拉斯维加斯，1995年5月29日至6月1日。纽约州纽约市：ACM。751-761（1995年；兹bl 0948.65500）