Automatic Controller Code Generation for Swarm Robotics Using Probabilistic Timed Supervisory Control Theory (ptSCT). - Faezeh Mirzaei; Ali Akbar Pouyan; Mohsen Biglari (J. Intell. Robotic Syst., 2020)