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
• 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)
    • Paper: https://doi.org/10.1109/CDC45484.2021.9683328
  • (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
  • 廣瀬雄一
• PM2: Starts from 14:55
  • 和佐泰明
  • 四十坊
    • Paper: https://doi.org/10.1007/978-3-030-88494-9_6
    • Replay of RV'21 talk
  • (Jie)