1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2021
Featured Team Automata
Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker +1
We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that communicate according to specified…
cs.LO2016★ 1 cited
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
Maurice H. ter Beek, Michele Loreti
Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous beh…