Maurice H. ter Beek

Joint Papers

• Formal Modelling and Analysis of a Self-Adaptive Robotic System