Keishi Okamoto

Keishi Okamoto

Sendai National College of Technology - Natori / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 4657153
仙台高等専門学校
person_outline Keishi Okamoto's MOST POPULAR ARTICLES
1-) A Bayesian Approach to Argument-Based Reasoning for Attack Estimation.H Kido, K OkamotoIJCAI, 249-255, 2017212017
2-) Automated route planning for milk-run transport logistics using model checkingT Kitamura, K Okamoto2012 Third International Conference on Networking and Computing, 240-246, 2012152012
3-) General models and completeness of first-order modal μ-calculusR Kashima, K OkamotoJournal of Logic and Computation 18 (4), 497-507, 2008142008
4-) A First-Order Extension of Modal μ-calculusK Okamoto5
5-) Deriving of time constants in timed automata for hazard transition sequences for STAMP/STPAK Okano, P Yang, S Ogata, K OkamotoProcedia Computer Science 176, 1392-1401, 202042020