• 所在单位:电子信息与电气工程学院
  • 职称:副教授
  • 电子邮箱: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
推荐