| Modelling Flocks of Birds from the Bottom Up
|
2022 |
Nicola, Rocco De |
| Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent Systems
|
2022 |
Monica, Stefania |
| Measuring Convergence Inertia: Online Learning in Self-adaptive Systems with Context Shifts
|
2022 |
Alberts, Elvin |
| Capturing Dependencies Within Machine Learning via a Formal Process Model
|
2022 |
Ritz, Fabian |
| Programming Multi-robot Systems with X-KLAIM
|
2022 |
Bettini, Lorenzo |
| Neural Predictive Monitoring for Collective Adaptive Systems
|
2022 |
Cairoli, Francesca |
| Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition
|
2022 |
Wirsing, Martin |
| Discrete Models of Continuous Behavior of Collective Adaptive Systems
|
2022 |
Fettke, Peter |
| A Modal Approach to Consciousness of Agents
|
2022 |
Yifeng, Chen |
| Epistemic Ensembles
|
2022 |
Hennicker, Rolf |
| Attuning Adaptation Rules via a Rule-Specific Neural Network
|
2022 |
Bureš, Tomáš |
| Bringing Aggregate Programming Towards the Cloud
|
2022 |
Audrito, Giorgio |
| Formal Analysis of Lending Pools in Decentralized Finance
|
2022 |
Bartoletti, Massimo |
| Model Checking Reconfigurable Interacting Systems
|
2022 |
Alrahman, Yehia Abd |
| A Rewriting Framework for Interacting Cyber-Physical Agents
|
2022 |
Lion, Benjamin |
| Correct by Design Coordination of Autonomous Driving Systems
|
2022 |
Bozga, Marius |
| An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVS
|
2022 |
Lee, Jaehun |
| On Model-Based Performance Analysis of Collective Adaptive Systems
|
2022 |
Murgia, Maurizio |
| Ensemble-Based Modeling Abstractions for Modern Self-optimizing Systems
|
2022 |
Töpfer, Michal |
| Formal Methods Meet Machine Learning (FML)
|
2022 |
Larsen, Kim |
Tag hinzufügen