Synthesis is to construct a controller automatically satisfying the given specification. In this paper, we are interested in synthesizing a controller for multi robots and simulating it. Thus, we extend the LTLMoP [3] simulator to show the interaction among multi robots and describe it with a case study. © 2012 Springer-Verlag.
CITATION STYLE
Kim, S., & Kwon, G. (2012). Simulation of collaborative multi-robots. In Communications in Computer and Information Science (Vol. 310 CCIS, pp. 588–593). https://doi.org/10.1007/978-3-642-32692-9_74
Mendeley helps you to discover research relevant for your work.