論文

査読有り
2021年5月

Robustifying CPS Controller Specifications Against Perceptual Uncertainty

The 13th NASA Formal Methods Symposium (NFM 2021)
  • Tsutomu Kobayashi
    • ,
  • Rick Salay
    • ,
  • Ichiro Hasuo
    • ,
  • Krzysztof Czarnecki
    • ,
  • Fuyuki Ishikawa
    • ,
  • Shin-ya Katsumata
開始ページ
198
終了ページ
213
記述言語
英語
掲載種別
研究論文（国際会議プロシーディングス）
エクスポート
BibTeX RIS
論文リストへ