Login / Signup
Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots.
Yoshinao Isobe
Nobuhiko Miyamoto
Noriaki Ando
Yutaka Oiwa
Published in:
IEICE Trans. Inf. Syst. (2021)
Keyphrases
</>
cooperative
case study
mobile robot
formal methods
formal models
cooperative behavior
neural network
cooperative learning
development process
finite state machines
game theory
formal model
multi robot
autonomous robots
lessons learned
event driven
path planning
robot soccer
cooperating agents
model checking