論文

査読有り 本文へのリンクあり
2015年

Monitoring Bounded LTL Properties Using Interval Analysis.

NSV Workshop
  • Daisuke Ishii
  • ,
  • Naoki Yonezaki
  • ,
  • Alexandre Goldsztejn

担当区分
筆頭著者, 責任著者
ENTCS 317
開始ページ
85
終了ページ
100
記述言語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1016/j.entcs.2015.10.009

リンク情報
DOI
https://doi.org/10.1016/j.entcs.2015.10.009
URL
https://arxiv.org/abs/1506.01762 本文へのリンクあり