Login / Signup
Yuxi Gui
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Real World
Case Based Planning
Adaptive Systems
Formal Models
Top Venues
KES
</>
Publications
</>
Maria Spichkova
,
Milan Simic
,
Heinrich-Wilhelm Schmidt
,
Jian Cheng
,
Xuening Dong
,
Yuxi Gui
,
Yin Liang
,
Peng Ling
,
Zixiong Yin
Formal Models for Intelligent Speed Validation and Adaptation.
KES
(2016)