Logic specifications for multiple robots based on a current programming language
H. Nishiyama, H. Ohwada, F. Mizoguchi
研究成果: Paper › 査読
3
被引用数
(Scopus)