×

找到12个文档（结果1-12）

最新的 引文 关联
弗洛里安·芬克;西蒙·扬奇;克里斯特尔·拜尔

概率可达性约束的Farkas证书和最小见证人。 （英语） Zbl 1507.68187号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).
MSC公司：60年第68季度 2017年第68季度 68问题85 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Funke}等人，Lect。注释计算。科学。12078，324--345（2020；Zbl 1507.68187）
全文： DOI程序 arXiv公司
OA许可证
简·Křetínsk;吉列尔莫·佩雷斯。;Jean-François拉斯金

欧米伽正则约束下未知MDP中基于学习的均值-方差优化。 （英语） Zbl 1520.90206号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第8条，第18页（2018年）。
MSC公司：90立方厘米 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínskõ}et al.，LIPIcs——莱布尼茨国际程序。通知。118，第8条，第18页（2018；Zbl 1520.90206）
全文： DOI程序 arXiv公司
玛丽亚姆·坎加普尔;肖恩·萨默斯;约翰·莱杰罗斯

随机混合系统规范的控制设计。 （英语） Zbl 1364.93263号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。303-312 (2013).
MSC公司：93亿B50 65年第68季度 60年第68季度 90立方厘米 93个B03 93立方 93C55美元 93E03型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Kamgarpour｝等人，在：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。303--312（2013；Zbl 1364.93263）
全文： DOI程序
伊利亚·特卡切夫;亚历山大·梅雷克莱;Joost-Pieter卡托恩;亚历山德罗·阿巴特

非自治随机混合系统基于定量自动机的控制器综合。 （英语） Zbl 1362.68189号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。293-302 (2013).
MSC公司：60年第68季度 60J05型 65年第68季度 90立方厘米 93个B03 93亿B50 93E20型
PDF格式BibTeX公司 XML格式引用
\textit{I.Tkachev}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，费城，宾夕法尼亚州，美国，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。293--302（2013；Zbl 1362.68189）
全文： DOI程序
拉杰夫·阿鲁尔;Forejt，Vojtěch公司;萨拉尔莫阿雷夫;阿舒托什·特里维迪

有界速率多模系统的安全可调度性。 （英语） Zbl 1361.93019号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。243-252 (2013).
MSC公司：93立方 2017年第68季度 65年第68季度 90B35型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，《第16届ACM混合系统国际会议论文集：计算与控制》，2013年HSCC，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。243-252（2013；Zbl 1361.93019）
全文： DOI程序 arXiv公司
克里希南德·查特吉;亚历山大·科勒;乌尔里希·施密德

使用图形游戏自动分析实时调度。 （英语） 兹比尔1361.90021

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。163-172 (2013).
MSC公司：90B35型 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。163-172（2013年；Zbl 1361.90021）
全文： DOI程序
泰语、杰罗姆语;亚历山大·巴恩（Alexandre M.Bayen）。

多面体混合系统的状态估计及其在Godunov格式中的应用。 （英语） Zbl 1362.93069号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。143-152 (2013).
MSC公司：93立方厘米20 93立方 93立方厘米05 90 C59 93E11号机组 93E10型
PDF格式BibTeX公司 XML格式引用
\textit{J.Thai}和\textit{A.M.Bayen}，in：第16届ACM混合系统国际会议论文集：计算和控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。143-152（2013年；兹bl 1362.93069）
全文： DOI程序
黎文良;法比安·劳尔;洛朗·巴科;杰拉德·布洛赫

学习非线性混合系统：从稀疏优化到支持向量回归。 （英语） Zbl 1364.93381号

2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。33-42 (2013).
MSC公司：93立方 62年02月 68T05型 90C25型 93B30型
PDF格式BibTeX公司 XML格式引用
\textit{V.L.Le}等人，in：《第16届ACM混合系统国际会议论文集：计算与控制》，2013年HSCC，美国宾夕法尼亚州费城，2013年4月8-11日。纽约州纽约市：计算机协会（ACM）。33-42（2013年；兹比尔1364.93381）
全文： DOI程序
克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生

概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号

Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：斯普林格。单体。理论。计算。科学。，EATCS系列。，519-570 (2009).
MSC公司：60年第68季度 2010年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：加权自动机手册。柏林：斯普林格。519-570（2009年；Zbl 1484.68095）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件