@techreport{weko_213777_1,
   author	 = "大浦,稜平 and 潮,俊光",
   title	 = "線形時相論理仕様を満たす監視ロボットの最適経路の有界設計法に基づく強化学習",
   year 	 = "2021",
   institution	 = "大阪大学大学院基礎工学研究科, 大阪大学大学院基礎工学研究科",
   number	 = "16",
   month	 = "nov"
}