Rigorous engineering of collective adaptive systems
R De Nicola, S Jähnichen, M Wirsing - International Journal on Software …, 2020 - Springer
An adaptive system is able to adapt at runtime to dynamically changing environments and to
new requirements. Adaptive systems can be single adaptive entities or collective ones that …
new requirements. Adaptive systems can be single adaptive entities or collective ones that …
Rigorous engineering of collective adaptive systems
S Jähnichen, M Wirsing - International Journal on Software …, 2020 - search.proquest.com
An adaptive system is able to adapt at runtime to dynamically changing environments and to
new requirements. Adaptive systems can be single adaptive entities or collective ones that …
new requirements. Adaptive systems can be single adaptive entities or collective ones that …
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking
We propose to leverage epistemic uncertainty about constraint satisfaction of a
reinforcement learner in safety critical domains. We introduce a framework for specification …
reinforcement learner in safety critical domains. We introduce a framework for specification …
Evolving robust policies for community energy system management
Community energy systems (CESs) are shared energy systems in which multiple
communities generate and consume energy from renewable resources. At regular time …
communities generate and consume energy from renewable resources. At regular time …
The meaning of adaptation: mastering the unforeseen?
S Jähnichen, R De Nicola, M Wirsing - … 5-9, 2018, Proceedings, Part III 8, 2018 - Springer
This short paper gives an introduction to a panel held as part of the track on 'Rigorous
Engineering of Collective Adaptive Systems' at ISOLA 2018. The discussion was structured …
Engineering of Collective Adaptive Systems' at ISOLA 2018. The discussion was structured …
Sophisticated Agent Modeling: Language Design and Implementation for Large-Scale Simulation
JE Henriques - 2024 - search.proquest.com
This dissertation presents a comprehensive framework for analysing flow systems, through
the integration between agent-based modelling and large-scale traffic simulations. The …
the integration between agent-based modelling and large-scale traffic simulations. The …
Relevant expertise aggregation for policy selection in collective adaptive systems
Many applications of collective adaptive systems for the digital transformation or digital
society will necessarily be multi-functional; that is, the collective, as it adapts over time, will …
society will necessarily be multi-functional; that is, the collective, as it adapts over time, will …
Rigorous engineering of collective adaptive systems introduction to the 2nd track edition
R De Nicola, S Jähnichen, M Wirsing - … 5-9, 2018, Proceedings, Part III 8, 2018 - Springer
A collective adaptive system consists of collaborating entities that are able to adapt at
runtime to dynamically changing, open-ended environments and to new requirements …
runtime to dynamically changing, open-ended environments and to new requirements …
[PDF][PDF] Sophisticated Agent Modeling: Language Design and Implementation for Large-Scale Simulation
JEM dos Santos Braga - 2024 - repositorio-aberto.up.pt
This dissertation presents a comprehensive framework for analysing flow systems, through
the integration between agent-based modelling and large-scale traffic simulations. The …
the integration between agent-based modelling and large-scale traffic simulations. The …