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

Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Browse the full IFM paper archive.