Japan CyPhAI Workshop (November 2022)
Date: November 14th–15th, 2022
Venue:
National Institute of Informatics,
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo
Titles for some talks are not disclosed and only for internal discussions.
11月14日: 8:00-10:00 Pre-discussion
11月14日: 10:00-18:00: 6h
- AM
- Opening remark and the current status (0.5h) 末永
- Tutorials (in parallel) (1h)
- 末永 Model checking, (signal) temporal logic, automata (1h)
- 岸田 制御理論集中講義 (1h)
- Lunch
- PM1
- 和賀: Dynamic Sheiding (replay of ATVA'22 talk)
- Paper: https://doi.org/10.1007/978-3-031-19992-9_2
- Extended Version: https://arxiv.org/abs/2207.13446
- Sagar
- 和賀: Dynamic Sheiding (replay of ATVA'22 talk)
- PM2
- Amit Gurung
- PM3
- 丁力辰
- 橋本航
11月15日: 10:00-18:00: 6h
- AM: ERATO (1.5h-2h?)
- (James) (interactive 15 min, 30 min incl. discussion)
- (Ichiro) (15-30 min)
- (Sasinee) STL-based control (30 min)
- (Clovis) (20 min)
- Lunch
- PM1: Starts from 13:30
- 伴野良太郎: LTL monitoring with FHE
- Paper: https://doi.org/10.1007/978-3-031-13185-1_22
- Replay of CAV'22 talk + current research direction
- 廣瀬雄一
- 伴野良太郎: LTL monitoring with FHE
- PM2: Starts from 14:55
- 和佐泰明
- 四十坊
- Paper: https://doi.org/10.1007/978-3-030-88494-9_6
- Replay of RV'21 talk
- (Jie)