Login / Signup
Ryugo Tanaka
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Partial Observability
Constraint Programming
Model Checking
Conformant Planning
Top Venues
GCCE
</>
Publications
</>
Ryugo Tanaka
,
Tomoyuki Yokogawa
,
Sousuke Amasaki
,
Hirohisa Aman
,
Kazutami Arimoto
Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints.
GCCE
(2023)