Presentation 2021-11-19
Bounded synthesis based reinforcement learning of optimal path for surveillance robots under LTL specifications
Ryohei Oura, Toshimitsu Ushio,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English)
Keyword(in Japanese) (See Japanese page)
Keyword(in English)
Paper # CAS2021-49,MSS2021-29
Date of Issue 2021-11-11 (CAS, MSS)

Conference Information
Committee MSS / CAS / IPSJ-AL
Conference Date 2021/11/18(2days)
Place (in Japanese) (See Japanese page)
Place (in English) Online
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair Atsuo Ozaki(Osaka Inst. of Tech.) / Hiroki Sato(Sony LSI Design)
Vice Chair Shingo Yamaguchi(Yamaguchi Univ.) / Yoshinobu Maeda(Niigata Univ.)
Secretary Shingo Yamaguchi(Hokkaido Univ.) / Yoshinobu Maeda(NEC) / (Sony LSI Design)
Assistant Masato Shirai(Shimane Univ.) / Motoi Yamaguchi(TECHNOPRO) / Yohei Nakamura(Hitachi) / Takahide Sato(Univ. of Yamanashi) / Yasutoshi Aibara(Murata Manufacturing)

Paper Information
Registration To Technical Committee on Mathematical Systems Science and its Applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Bounded synthesis based reinforcement learning of optimal path for surveillance robots under LTL specifications
Sub Title (in English)
Keyword(1)
1st Author's Name Ryohei Oura
1st Author's Affiliation Osaka University(Osaka Univ)
2nd Author's Name Toshimitsu Ushio
2nd Author's Affiliation Osaka University(Osaka Univ)
Date 2021-11-19
Paper # CAS2021-49,MSS2021-29
Volume (vol) vol.121
Number (no) CAS-249,MSS-250
Page pp.pp.70-75(CAS), pp.70-75(MSS),
#Pages 6
Date of Issue 2021-11-11 (CAS, MSS)