|
[SYON25]
Toshifusa Sekizawa, Naoaki Yonezawa, Kozo Okano and Keitaro Naruse.
A study of multi-robot tracking problem in one-dimensional system using probabilistic model checking.
IEICE Transactions on Information and Systems.
2025.
[Analyses one-dimensional multi-robot tracking problems using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|