CPS plays important roles along with popularization. In this study, we handle an autonomous robot which estimates its position by observations in discrete two-dimensional field. Probabilistic behaviors are modeled in MDPs, and model checking results validate robot’s design.
CITATION STYLE
Watanabe, R., Okano, K., & Sekizawa, T. (2017). Towards verification of robot design for self-localization. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10629 LNCS, pp. 245–248). Springer Verlag. https://doi.org/10.1007/978-3-319-70389-3_21
Mendeley helps you to discover research relevant for your work.