@techreport{weko_228937_1,
   author	 = "小水,一慶 and 小林,孝一 and 山下,裕",
   title	 = "有限時間区間の時相論理仕様を有する空間的分布システムのモデル予測制御",
   year 	 = "2023",
   institution	 = "北海道大学, 北海道大学, 北海道大学",
   number	 = "17",
   month	 = "nov"
}