Keishi Okamoto

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 5

Top Topics

Formal Specification

Commonsense Reasoning

Top Venues

IEICE Trans. Inf. Syst.

Publications

Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. KES (2022)
Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. KES (2020)
Hiroyuki Kido, Keishi Okamoto
Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy. CoRR (2020)
Hiroyuki Kido, Keishi Okamoto
Balancing Between Cognitive and Semantic Acceptability of Arguments. KSEM (2017)
Hiroyuki Kido, Keishi Okamoto
A Bayesian Approach to Argument-Based Reasoning for Attack Estimation. IJCAI (2017)
Sayuri Kohara, Keishi Okamoto, Hirokazu Noma, Kazushige Toriyama, Hiroyuki Mori
Warpage analysis of organic substrates for 2.1D packaging. 3DIC (2015)
Takashi Kitamura, Keishi Okamoto
Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker. IEICE Trans. Inf. Syst. (12) (2013)
Takashi Kitamura, Keishi Okamoto
Automated Route Planning for Milk-run Transport Logistics Using Model Checking. ICNC (2012)
Takashi Kitamura, Keishi Okamoto, Makoto Takeyama
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. PRDC (2010)
Ryo Kashima, Keishi Okamoto
General Models and Completeness of First-Order Modal µ-calculus. J. Log. Comput. 18 (4) (2008)