1:20 PM - 1:40 PM
[2E3-OS-13b-01] Bounded Model Checking with Boolean Formulas in Susceptible-Infected-Recovered Model
〇Kenta Hanada1 (1. Nara Institute of Science and Technology)
Organized Session
Organized Session » OS-13
Wed. Jun 9, 2021 1:20 PM - 3:00 PM Room E (OS room 3)
座長:沖本 天太(神戸大学)
1:20 PM - 1:40 PM
〇Kenta Hanada1 (1. Nara Institute of Science and Technology)
1:40 PM - 2:00 PM
〇Ayami Hashimoto1, Kazunori Ueda1 (1. Waseda University)
2:00 PM - 2:20 PM
〇Kunihiro Hata1, Kazunori Ueda1 (1. Waseda University)
2:20 PM - 2:40 PM
〇Daisuke Hatano1 (1. RIKEN AIP)
2:40 PM - 3:00 PM
〇Tomoya Sugahara1, Miyuki Koshimura1, Makoto Yokoo1 (1. Kyushu University)
Authentication for paper PDF access
A password is required to view paper PDFs. If you are a registered participant, please log on the site from Participant Log In.
You could view the PDF with entering the PDF viewing password bellow.
Please log in with your participant account.
» Participant Log In