Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
Open Access
- 31 August 2025
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 238
Abstract
No abstract availableFunding Information
- Horizon 2020 Framework Programme (956200)
- Ministero dell'Università e della Ricerca (ECS00000036, 2020TL3X8X)
- Deutsche Forschungsgemeinschaft (390696704, 389792660)
- Nederlandse Organisatie voor Wetenschappelijk Onderzoek (VI.Veni.222.431)
This publication has 2 references indexed in Scilit:
- Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic SystemFormal Aspects of Computing, 2025
- ProFeat: feature-oriented engineering for family-based probabilistic model checkingFormal Aspects of Computing, 2018