A Study of Multi-Robot Tracking Problem in One-Dimensional System Using Probabilistic Model Checking
['Toshifusa SEKIZAWA', ' Naoaki YONEZAWA', ' Kozo OKANO', ' Keitaro NARUSE']
/
IEICE Transactions in Information and Systems
/ Vol. 108
/ No. 8
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？