固定URL: https://doi.org/10.18910/96129

閲覧可能ファイル 

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
34048_Abstract	pdf	なし	143 KB	81	2024.06.17
34048_Dissertation	pdf	なし	785 KB	122	2024.06.17

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル	On the Metric Temporal Logic for Continuous Stochastic Processes
	連続時間確率過程に対する距離時相様相論理について
	レンゾクジカンカクリツカテイニタイスルキョリジソウヨウソウロンリニツイテ
著者	著者名 池田, 光優 ; イケダ, ミツマサ
学位名	博士（理学）
学位授与年月日	2024-03-25
学位授与機関	大阪大学
研究科	基礎工学
専攻	システム創成
学位授与番号	14401甲第23348号
学位記番号	34048
言語	英語
ハンドルURL	https://hdl.handle.net/11094/96129
DOI	https://doi.org/10.18910/96129
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	博士論文 本文あり / 基礎工学研究科 / 2023年度
	博士論文 / 基礎工学研究科 / 2023年度

ホームへ戻る