×

找到21个文档（结果1–21）

最新的 引文 相关性
彼得·格约尔·詹森;安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼;阿德里亚娜·米亚契卡;杰佩·Höiris Mortensen

蒙特卡罗树搜索定价时间自动机。 （英语） Zbl 1522.68273号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 381-398 (2022).
MSC公司：65年第68季度 68T20型 90B35型
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Jensen}等人，Lect。注释计算。科学。13479，381--398（2022；Zbl 1522.68273）
全文： DOI程序 链接
托马斯·莫勒·格罗森;肖恩·考夫曼;金·古德斯特兰·拉森;马丁·齐默尔曼

监视定时属性（已重新访问）。 （英语） Zbl 07643427号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。2022年9月13日至15日，第20届国际会议，FORMATS 2022，波兰华沙。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 43-62 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.M.Grosen}等人，Lect。注释计算。科学。13465，43-62（2022；Zbl 07643427）
全文： DOI程序 arXiv公司
乔瓦尼·巴奇;帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔

基于不确定性能量时间自动机的最优鲁棒控制器综合。 （英语） Zbl 1458.93072号

正式Asp。计算。 33，编号1，3-25（2021）.
MSC公司：93亿B50 65年第68季度 68瓦30 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，《正式Asp》。计算。33，编号1，3--25（2021；Zbl 1458.93072）
全文： DOI程序 arXiv公司
安德烈·基维里加;金·古德斯特兰·拉森;乌尔里克·尼曼

定时I/O自动机的随机精化检查。 （英语） Zbl 1502.68184号

Pang，Jun（编辑）等，可靠软件工程。理论、工具和应用。第六届国际研讨会，SETTA 2020，中国广州，2020年11月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12153，70-88（2020年）。
MSC公司：60年第68季度 05C81号 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kiviriga}等人，Lect。注释计算。科学。12153，70-88（2020年；兹比尔1502.68184）
全文： DOI程序 链接
Larsen，Kim G。

随机混合博弈安全、最优和紧凑策略的综合（特邀论文）。 （英语） Zbl 07649910号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第2条，第5页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}，LIPIcs——莱布尼茨国际程序。通知。140，第2条，第5页（2019年；Zbl 07649910）
全文： DOI程序
劳伦特·多恩;Juhl，Line公司;Larsen，Kim G。;尼古拉斯·马基;马赫萨·希尔穆罕默德

同步加权和定时自动机的单词。 （英语） Zbl 1360.68552号

Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，121-132（2014）。
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Doyen}等人，LIPIcs——莱布尼茨国际程序。通知。29121-132（2014年；Zbl 1360.68552）
全文： DOI程序
亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·沃索斯基

时间I/O自动机：实时系统的完整规范理论。 （英语） Zbl 1361.68143号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。91-100 (2010).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.David｝等人，在：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。91-100（2010年；Zbl 1361.68143）
全文： DOI程序
帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基

能量约束下带观测器的时间自动机。 （英语） Zbl 1361.68135号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。61-70（2010年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。61-70（2010年；Zbl 1361.68135）
全文： DOI程序
李书豪;桑迪·巴拉格;亚历山大·戴维;Larsen，Kim G。;布莱恩·尼尔森;普辛斯卡斯·索利乌斯·普辛斯卡斯

使用UPPAAL对实时系统进行基于场景的验证。 （英语） Zbl 1209.68323号

形式方法系统。设计。 37，编号2-3，200-264（2010）.
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Li}等人，《形式方法系统》。设计。37，编号2--3200-264（2010；Zbl 1209.68323）
全文： DOI程序
乌里·法伦贝格;Larsen，Kim G。

定价时间自动机中的折扣最优无限运行。 （英语） Zbl 1347.68204号

Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239179-191（2009）。
MSC公司：65年第68季度 68平方米 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛U.Fahrenberg｝和\textit｛K.G.Larsen｝，Electron。理论注释。计算。科学。239179--191（2009年；Zbl 1347.68204）
全文： DOI程序
Larsen，Kim G。

定价时间自动机：理论和工具。 （英语） Zbl 1248.68335号

Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4，417-425，仅电子版（2009年）。
MSC公司：60年第68季度 65年第68季度 68平方米 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.G.Larsen}，LIPIcs——莱布尼茨国际程序。通知。4417-425（2009年；Zbl 1248.68335）
全文： DOI程序 链接
帕特里夏·鲍耶;埃德·布林克斯马;Larsen，Kim G。

以尽可能低的成本生存。 （英语） Zbl 1135.93352号

Alur，Rajeev（编辑）等人，《混合系统：计算和控制》。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21259-0/pbk）。计算机科学课堂讲稿2993203-218（2004）。
MSC公司：93C83号 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。2993203--218（2004年；Zbl 1135.93352）
全文： DOI程序
格德·贝尔曼;Larsen，Kim G。;拉德克·佩拉内克

储存或不储存。 （英语） Zbl 1278.68155号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 433-445 (2003).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。2725433--445（2003年；Zbl 1278.68155）
全文： DOI程序
格德·贝尔曼;安斯加·芬克;托马斯·匈奴;金·拉森;保罗·佩特森

定价时间自动机的最低成本可达性。 （英语） Zbl 0991.68037号

Di Benedetto，Maria Domenica（编辑）等人，《混合系统：计算和控制》。第四届国际研讨会，2001年HSCC，意大利罗马，2001年3月28日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2034, 147-161 (2002).
MSC公司：65年第68季度 90C27型 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。2034147-161（2002；Zbl 0991.68037）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件