Elzbieta Roszkowska, Ida Goral. Correct-by-construction distributed control for multi-vehicle transport systems. In 2013 IEEE International Conference on Automation Science and Engineering, CASE 2013, Madison, WI, USA, August 17-20, 2013. pages 156-161, IEEE, 2013. [doi]
Abstract is missing.