NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems
复制标题
NNSynth：神经网络引导的随机系统基于抽象的控制器综合
DOI：
10.1109/cdc51059.2022.9993158
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Shoukry, Yasser
中科院分区：
文献类型：
--
作者：
Sun, Xiaowu;Shoukry, Yasser
登录
查看更多内容
DOI：
--
发表时间：
2020-09
期刊：
ArXiv
影响因子：
--
作者：
Greg Anderson;Abhinav Verma;Işıl Dillig;Swarat Chaudhuri
通讯作者：
Greg Anderson;Abhinav Verma;Işıl Dillig;Swarat Chaudhuri
DOI：
10.15607/rss.2019.xv.023
发表时间：
2019-06
期刊：
ArXiv
影响因子：
--
作者：
Malayandi Palan;Nicholas C. Landolfi;Gleb Shevchuk;Dorsa Sadigh
通讯作者：
Malayandi Palan;Nicholas C. Landolfi;Gleb Shevchuk;Dorsa Sadigh
动态贝叶斯网络作为结构化随机过程的形式抽象
DOI：
10.4230/lipics.concur.2015.169
发表时间：
2015
期刊：
ArXiv
影响因子：
--
作者：
S. Soudjani;A. Abate;R. Majumdar
通讯作者：
R. Majumdar
时态逻辑约束下可验证的基于 RNN 的 POMDP 策略
DOI：
--
发表时间：
2020
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
Steven Carr;N. Jansen;U. Topcu
通讯作者：
U. Topcu
StocHy - 随机过程的自动验证和综合：海报摘要
DOI：
--
发表时间：
2019
期刊：
International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
Nathalie Cauchi;A. Abate
通讯作者：
A. Abate