Transforming RoboSim Models into UPPAAL.

Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang

Browse the full TASE paper archive.