About this scholarly article

2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS) - Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking Using Probability Removed Model by Watanabe, Ryo; Sekizawa, Toshifusa is a scholarly article available to read on EtoBox.

Author

Watanabe, Ryo; Sekizawa, Toshifusa

Publisher

IEEE

Published

2019