Tightly-coupled multi robot coordination using decentralized supervisory control of Fuzzy Discrete Event Systems | IEEE Conference Publication | IEEE Xplore