Home /Research /Formal Modelling and Analysis of a Self-Adaptive Robotic System
OTHER

Formal Modelling and Analysis of a Self-Adaptive Robotic System

Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Year
2023
Citations
6

Keywords

Computer scienceFeature (linguistics)Domain (mathematical analysis)Adaptation (eye)Probabilistic logicPipeline (software)Feature modelUnderwaterArtificial intelligenceReal-time computing

Related papers

Browse all OTHER papers