Formal Models for Intelligent Speed Validation and Adaptation. - Maria Spichkova; Milan Simic; Heinrich-Wilhelm Schmidt; Jian Cheng; Xuening Dong; Yuxi Gui; Yin Liang; Peng Ling; Zixiong Yin (KES, 2016)