蒙特塞拉特赫莫;帕基·卢西奥;塞萨尔·桑切斯 安全规范可实现性表。 （英文） Zbl 1529.68159号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。14000, 495-513 (2023).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermo}等人，Lect。注释计算。科学。14000，495--513（2023；Zbl 1529.68159） 全文： 内政部 arXiv公司
马哈茂德·哈立德;马吉德·扎马尼 OmegaThreads：常规目标的符号控制器设计。 （英文） Zbl 07807698号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Khaled}和\textit{M.Zamani}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021；Zbl 07807698） 全文： 内政部
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 扩展有界响应的公平性、假设和保证长期贷款+P合成。 （英文） Zbl 1522.68302号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13085, 351-371 (2021).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。13085、351--371（2021；Zbl 1522.68302） 全文： 内政部
肖恩·阿佐帕迪;皮特曼，尼尔;杰拉尔多·施奈德 在反应合成中加入监测器而无需付出代价。 （英文） Zbl 1497.68284号 Hou，Zhe（编辑）等人，用于验证和分析的自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12971, 337-353 (2021).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Azzopardi}等人，莱克特。注释计算。科学。12971、337--353（2021；Zbl 1497.68284） 全文： 内政部 arXiv公司
卢卡斯·塔巴加拉。;莫舍·瓦尔迪。 线性时序逻辑——从无限到有限。 （英文） Zbl 1497.03035号 Hou，Zhe（编辑）等人，用于验证和分析的自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12971, 3-12 (2021).MSC公司：03B44号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Tabajara}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。12971，3-12（2021年；兹bl 1497.03035） 全文： 内政部
加尔阿姆拉姆;苏古曼·班萨尔;油炸，Dror;卢卡斯·马蒂内利·塔巴哈拉;莫舍·瓦尔迪。;杰拉·韦斯 通过反应合成调整行为。 （英文） Zbl 1493.68201号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12759, 870-893 (2021).MSC公司：60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Amram}等人，Lect。注释计算。科学。12759870--893（2021年；Zbl 1493.68201） 全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎 回到未来：重新审视线性时序逻辑。 （英文） Zbl 07495100号 Maneth，Sebastian（编辑），自动机的实现和应用。第25届国际会议，CIAA 2021，虚拟活动，2021年7月19-22日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12803, 3-13 (2021).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}，莱克特。注释计算。科学。12803，3--13（2021；Zbl 07495100） 全文： 内政部
卢卡斯·塔巴加拉。;莫舍·瓦尔迪。 部分可观测性下的LTLf综合：从理论到实践。 （英文） Zbl 07455737号 Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3261-17（2020年）。MSC公司：65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Tabajara}和\textit{M.Y.Vardi}，电子。程序。西奥。计算。科学。（EPTCS）326，1--17（2020；Zbl 07455737） 全文： arXiv公司 链接
迈克尔·卢滕伯格;菲利普·梅耶（Philipp J.Meyer）。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 （英文） 兹比尔1435.68200 学报信息。 57，编号1-2，3-36（2020）.MSC公司：60年第68季度 03B44号 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人，《信息学报》57，第1--2、3--36期（2020年；Zbl 1435.68200） 全文： 内政部 arXiv公司