CyPhAI Project

France–Japan CyPhAI Workshop (March 2025)

Thu, 13 Mar 2025 00:00:00 +0000

Titles for some talks are not disclosed and only for internal discussions.

March 10th–11th (IRIF)

Venue:
IRIF
Université Paris Cité
Bâtiment Sophie Germain, Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13

March 10

10:00 am - 11:30 am: Verification Seminar
- Chiao / Certifying Lyapunov Stability of Black Box Nonlinear Systems via Counter-Example Guided Synthesis
Afternoon:
- Outline the progress in each work package (WP)
- Discuss the integrated case study on hybrid automata learning

March 11

2:00 pm - 4:30 pm
- Concretize the content of the progress in each WP
- Find target venues and decide the timeline for the integrated case study

March 13th–14th (Verimag)

Venue:
Bâtiment IMAG
Université Grenoble Alpes
700 Av. Centrale
38400 Saint-Martin-d’Hères

March 13

10:00 am - 12:00 pm:
- Review publications from the project and discuss more directions for the coming year for WP1, WP2, and WP3
2:15 pm - 5:00 pm
- Review publications from the project and discuss more directions for the coming year for WP4
- TODO list to integrate existing tools to complete WP5

March 14

10:00 am - 12:00 pm:
- Draw a class diagram for sharing components between existing HA learning approaches
2:00 pm - 5:00 pm:
- Live coding session by Kohei and Masaki!!!

France–Japan CyPhAI Workshop (September 2024)

Sat, 07 Sep 2024 00:00:00 +0000

Titles for some talks are not disclosed and only for internal discussions.

September 2nd–3rd (Room 4052, IRIF)

Venue:
IRIF
Université Paris Cité
Bâtiment Sophie Germain, Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13

Sept. 2

Morning: Planning for integrated case studies involving both Japan and France teams
- simglucose: A Type-1 Diabetes simulator implemented in Python for Reinforcement Learning purpose
- Simulation model from our industrial collaborators
Afternoon: Presentations on work in progress
- Chiao / Certifying Lyapunov Stability of Black Box Nonlinear Systems via Counter-Example Guided Synthesis
- Niklas
Evening: Beer!
- Kohei claimed he stopped drinking alcohol!?

Sept. 3

Morning:
- Work in progress presented by Eugene
- More discussion on simglucose as a potential case study
  - Scenarios of times and meals for patients as timed words
Afternoon: Japan team traveled to Grenoble

September 4th–6th (Verimag)

Venue:
Bâtiment IMAG
Université Grenoble Alpes
700 Av. Centrale
38400 Saint-Martin-d’Hères

Sept. 4

Morning: More discussion on the simulation model from collaborators as a potential case study
Afternoon: Review existing tools and define software interfaces
- Breach: falsification and parameter synthesis, https://doi.org/10.1007/978-3-642-14295-6_17
- WordGen: sampling of timed words, https://doi.org/10.1145/3575870.3587116
- Hybrid Automata Learning, https://doi.org/10.1007/978-3-031-45329-8_2
- …

Sept. 5

Morning: Decide on topics for integrated case studies
- Evaluation on hybrid automata learning approaches
- Characterization of controllers based on parametric specifications and scenarios
Afternoon: Concretize action plans and TODO lists
Evening: dinner at restaurant La Belle Idée
- Kohei claimed he stopped drinking alcohol again?!

Sept. 6

Morning: More discussions on hybrid automata learning approaches
Afternoon: Sightseeing in Grenoble!

France–Japan CyPhAI Workshop (March 2024)

Mon, 04 Mar 2024 00:00:00 +0000

Date: March 7th–8th, 2024 (Japan team is available from 4th–8th).
Venue:
IRIF
Université Paris Cité
Bâtiment Sophie Germain, Case courrier 7014
8 Place Aurélie Nemours
75205 Paris Cedex 13

Titles for some talks are not disclosed and only for internal discussions.

March 7th (Workshop Day 1, room 1020, IRIF)

Session 1: 9:00–10:30
- Kohei / Overview of the Japan team and plan for the next 2 years
- Thao
- Marco
Session 2: 11:00–12:00
- Masaki / Probabilistic black-box checking https://doi.org/10.1145/3609127
- Benoit and Adrien
Lunch: 12:30–14:00 (Buffon restaurant)
Session 3: 14:00–15:30
- Kohei / Learning nonlinear hybrid automata from input-output time-series data https://doi.org/10.1007/978-3-031-45329-8_2
- Alex Buna (+ Mahsa) / On Learning Polynomial Recursive Programs https://doi.org/10.1145/3632876
- Hadi
Session 4: 16:00-17:30
- Chiao / (WiP) Counterexample-Guided Synthesis of Lyapunov Functions for Black-box Dynamics
- Rida (Mahsa’s postdoc)
- Alex D

March 8th (Workshop Day 2, room 1020, IRIF)

Session 5: 10:00–11:30
- Thao
- Chiao / Perception Contracts for Safety of ML-Enabled Systems https://doi.org/10.1145/3622875
- Eugene (+Mo & Neha Rino)
- Discussion (Contingency)
Lunch: 12:30–14:00 (Buffon restaurant)
Session 6: 14:00–15:30
- Ana (?)
- Benoit + Alex D + Nicolas
- Aneel
- Discussion (Contingency)

Japan CyPhAI Workshop (October 2023)

Mon, 02 Oct 2023 00:00:00 +0000

Date: October 2nd–3rd, 2023
Venue:
National Institute of Informatics,
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo

October 2nd

13:00-13:30: Opening and project status (Kohei)
13:30-14:30: Learning nonlinear hybrid automata from input–output time-series data (Amit) https://doi.org/10.1007/978-3-031-45329-8_2
14:30-15:00: Break
15:00-16:00: Perception Contracts for Safety of ML-Enabled Systems (Chiao) https://doi.org/10.1145/3622875
16:00-16:30: Break
16:30-17:30: Compositional Probabilistic Model Checking with String Diagrams of MDPs. (Ichiro, invited from ERATO),
- Compositional MDP model checking https://doi.org/10.1007/978-3-031-37709-9_3
- Kittiphon’s algorithm [Phalakarn, Takisaka, Haas & Hasuo, CAV’20] https://doi.org/10.1007/978-3-030-53291-8_19

October 3rd

10:00-11:00: Repair Techniques for Deep Neural Networks for Safety in Perception of Driving Systems (Paolo, invited from eAI project)
- References
  - M. Duran, X. Zhang, P. Arcaini, F. Ishikawa. What to Blame? On the Granularity of Fault Localization for Deep Neural Networks.
  - D. Li Calsi, M. Duran, X. Zhang, P. Arcaini, F. Ishikawa. Distributed Repair of Deep Neural Networks. ICST’23
  - D. Li Calsi, M. Duran, T. Laurent, X. Zhang, P. Arcaini, F. Ishikawa. Adaptive Search-based Repair of Deep Neural Networks. GECCO’23
11:00-11:30: Break
11:30-12:30: Probabilistic Black-Box Checking via Active MDP Learning (Kohei)
- Replay of EMSOFT 2023 work Probabilistic Black-Box Checking via Active MDP Learning | ACM Transactions on Embedded Computing Systems https://doi.org/10.1145/3609127
12:30-14:00: Lunch
14:00-15:00: Chance Constrained Probability Measure Optimization (Shen Xun: Assistant Prof. from Osaka University, only Oct. 3 seems available)
- https://arxiv.org/abs/2309.08231
15:00-15:30: Break
15:30-16:30: WiP: Oblivious Online Monitoring for STL with Arithmetic Predicates via Fully Homomorphic Encryption (Masaki)
- https://doi.org/10.1007/978-3-031-13185-1_22
16:30-18:00: Discussion

France–Japan CyPhAI Workshop (December 2022)

Thu, 08 Dec 2022 00:00:00 +0000

Date: December, 2022
Venue: France

Titles of talks are not disclosed and only for internal discussions.

9:15-10:00 Mahsa (Paris)
10:00-10:30 Eugene (Paris)
10:30 - 11:00 Klara (Paris)
11:00-11:45 Akshay (Grenoble)
11:45 - 12:15 Hadi (Grenoble)
12:30 Lunch
14:00-15:15 (Verimag seminar) Kohei (Kyoto)
15:15-15:45 Mo (Paris)
15:45-16:15 Thomas (Grenoble)

Japan CyPhAI Workshop (November 2022)

Mon, 14 Nov 2022 00:00:00 +0000

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)

Japan CyPhAI Off-Site Seminar (April 2022)

Tue, 19 Apr 2022 00:00:00 +0000

Date: April 19th–21st, 2022
Venue: Karuizawa, Nagano

4/19

14:00 - 15:00 顔合わせ（挨拶、近況報告等）
15:00 - 18:00 研究情報交換　現在の研究について各自20min 程度はなす
- 潮
- 池本
- 和賀
- 四十坊
- 岸田
18:00 – 夕食

4/20

08:00 – 09:00 朝食
09:00 – 12:00 研究情報交換　現在の研究について各自20min 程度はなす
- 関山
- 和佐
- 勝股
- Amit
12:00 – 13:00 昼食
14:00 – 16:30 アウトドアディスカッション
16:30 – 18:00 研究情報交換　現在の研究について各自20min 程度はなす
- 末永
- 伴野
18:00 – 夕食

4/21

08:00 – 9:00 朝食
09:00 – 12:00 フリーディスカッション
12:00 – 13:00 昼食
13:00 – closing 解散

Kick-Off Meeting

Wed, 18 Nov 2020 00:00:00 +0000

Venue: Virtual meetings

Part 1 (18 November 2020, 9:00-11:00am FR time, 17:00-19:00 JP time)

Introduction of new members
Project overview (Kohei)
Overview of WP1 (Eugene)
- Background
- (Short-term) research plan and tasks
Overview of WP2 (Thao)
- Background
- (Short-term) research plan and tasks

Part 2 (10 December 2020, 8:30-10:30am FR time, 16:30-18:30 JP time)

Overview of WP3 (Masaki & Benoit)
- Background
- (Short-term) research plan and tasks
Overview of WP4 (Aneel & Masako)
- Background
- (Short-term) research plan and tasks

Part 3 (23 December 2020, 8:30-10:30am FR time, 16:30-18:30 JP time)

Overview of WP5 (Alexandre)
- Background
- (Short-term) research plan and tasks