Session information

Tweet

Organized Session

Organized Session » OS-13

[2E3-OS-13b] AIと制約プログラミング(2/3)

Wed. Jun 9, 2021 1:20 PM - 3:00 PM Room E (OS room 3)

座長：沖本天太（神戸大学）

+Add all to schedule

1:20 PM - 1:40 PM

[2E3-OS-13b-01] Bounded Model Checking with Boolean Formulas in Susceptible-Infected-Recovered Model

〇Kenta Hanada¹ (1. Nara Institute of Science and Technology)

1:40 PM - 2:00 PM

[2E3-OS-13b-02] State space construction of timed automata models including difference constraints by LMNtal

〇Ayami Hashimoto¹, Kazunori Ueda¹ (1. Waseda University)

2:00 PM - 2:20 PM

[2E3-OS-13b-03] Benchmarking hybrid systems modeling tools based on the reachability analysis of parameterized models

〇Kunihiro Hata¹, Kazunori Ueda¹ (1. Waseda University)

2:20 PM - 2:40 PM

[2E3-OS-13b-04] An Efficient Algorithm for the Shapley Value of Cooperative Games on Poset Antimatroids

〇Daisuke Hatano¹ (1. RIKEN AIP)

2:40 PM - 3:00 PM

[2E3-OS-13b-05] ADSAT: MaxSAT with adversary

〇Tomoya Sugahara¹, Miyuki Koshimura¹, Makoto Yokoo¹ (1. Kyushu University)

×

Authentication

×

Please log in with your participant account.
» Participant Log In