| Towards Drone Flocking Using Relative Distance Measurements
|
2022 |
Brandstätter, Andreas |
| An Experimental Toolchain for Strategy Synthesis with Spatial Properties
|
2022 |
Basile, Davide |
| Understanding Social Feedback in Biological Collectives with Smoothed Model Checking
|
2022 |
Klein, Julia |
| Efficient Estimation of Agent Networks
|
2022 |
Leguizamon-Robayo, Alexander |
| 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 |
Tag hinzufügen