| Presentation | 2019-06-07 [Invited Talk] Formal Method and Reinforcement Learning for Control of Cyber-Physical Systems 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 # | NLP2019-27,CCS2019-10 |
| Date of Issue | 2019-05-31 (NLP, CCS) |
| Conference Information | |
| Committee | CCS / NLP |
|---|---|
| Conference Date | 2019/6/7(3days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | machinaka campus nagaoka |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Makoto Naruse(NICT) / Hiroaki Kurokawa(Tokyo Univ. of Tech.) |
| Vice Chair | Shigeki Shiokawa(Kanagawa Inst. of Tech.) / Tetsuya Asai(Hokkaido Univ.) / Kiyohisa Natsume(Kyushu Inst. of Tech.) |
| Secretary | Shigeki Shiokawa(Hiroshima City Univ.) / Tetsuya Asai(Kanagawa Inst. of Tech.) / Kiyohisa Natsume(Nippon Inst. of Tech.) |
| Assistant | Hidehiro Nakano(Tokyo City Univ.) / Kazuki Nakada(Tsukuba Univ. of Tech.) / Hiroyasu Ando(Tsukuba Univ.) / Takashi Matsubara(Kobe Univ.) / Yutaka Shimada(Saitama Univ.) / Toshikaza Samura(Yamaguchi Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Complex Communication Sciences / Technical Committee on Nonlinear Problems |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | [Invited Talk] Formal Method and Reinforcement Learning for Control of Cyber-Physical Systems |
| Sub Title (in English) | |
| Keyword(1) | |
| 1st Author's Name | Toshimitsu Ushio |
| 1st Author's Affiliation | Osaka University(Osaka Univ.) |
| Date | 2019-06-07 |
| Paper # | NLP2019-27,CCS2019-10 |
| Volume (vol) | vol.119 |
| Number (no) | NLP-71,CCS-72 |
| Page | pp.pp.49-50(NLP), pp.49-50(CCS), |
| #Pages | 2 |
| Date of Issue | 2019-05-31 (NLP, CCS) |