语言选择
  • 所在单位：电子信息与电气工程学院
  • 职称：副教授
  • 电子邮箱：yinxiang@sjtu.edu.cn
  • 教师拼音名称：yinxiang
  • 性别：男
  • 在职信息：在职
论文成果
当前位置: 中文主页 >> 科学研究 >> 论文成果 >> Secure-by-constru...
Secure-by-construction controller synthesis for stochastic systems under linear temporal logic specifications
  • 点击次数：
  • 发表刊物：60th IEEE Conference on Decision and Control
  • 是否译文：否
  • 发表时间：2021-12-01
  • 论文类型：会议论文
  • 发表时间：2021-12-01
推荐
 沪ICP备05052060 版权所有©上海交通大学

您是第位访客 手机版

最后更新时间：--

关注二维码