Call for paper: Special Issue of Software Engineering for Robotics in Robotics and Autonomous Systems Journal, Elsevier

Software Engineering for Robotics

Dec 9, 2021

Please find the call for paper on the RoboStar website.

Robotics Software engineering Journal RAS CFP
Kangfeng (Randall) Ye
Kangfeng (Randall) Ye
Research Associate (Computer Science)

My research interests include probabilistic modelling and verification using formal specification and verification (both model checking and theorem proving) and model-based engineering.