Keishi Okamoto

According to our database, Keishi Okamoto authored at least 11 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

A Bounded Model Checker for Timed Automata and Its Application to LTL Properties.

Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

2020

Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy.

Hiroyuki Kido, Keishi Okamoto

CoRR, 2020

Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA.

Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

2017

Balancing Between Cognitive and Semantic Acceptability of Arguments.

Hiroyuki Kido, Keishi Okamoto

Proceedings of the Knowledge Science, Engineering and Management, 2017

A Bayesian Approach to Argument-Based Reasoning for Attack Estimation.

Hiroyuki Kido, Keishi Okamoto

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2015

Warpage analysis of organic substrates for 2.1D packaging.

Sayuri Kohara, Keishi Okamoto, Hirokazu Noma, Kazushige Toriyama, Hiroyuki Mori

Proceedings of the 2015 International 3D Systems Integration Conference, 2015

2013

Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker.

Takashi Kitamura, Keishi Okamoto

IEICE Trans. Inf. Syst., 2013

2012

Automated Route Planning for Milk-run Transport Logistics Using Model Checking.

Takashi Kitamura, Keishi Okamoto

Proceedings of the Third International Conference on Networking and Computing, 2012

2010

Formal Verification in a First-Order Extension of Modal <i>μ</i>-calculus.

Keishi Okamoto

Inf. Media Technol., 2010

Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications.

Takashi Kitamura, Keishi Okamoto, Makoto Takeyama

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

2008

General Models and Completeness of First-Order Modal µ-calculus.

Ryo Kashima, Keishi Okamoto

J. Log. Comput., 2008