Fei Chen

I am a Ph.D. student at the Division of Decision and Control Systems, EECS, KTH Royal Instituteof Technology since 2018, supervised by Prof. Dimos V. Dimarogonas and co-supervised by Prof. Jana Tumova. My research interests are situated on the edge between control theory and formal methods in computer science, with particular interests in formal verification and control synthesis for multi-agent systems under temporal logic specifications.