| 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 |
| Importance Splitting in Uppaal
|
2022 |
Larsen, Kim Guldstrand |
| Verification of Varjability-Intensive Stochastic Systems with Statistical Model Checking
|
2022 |
Lazreg, Sami |
| The Modest State of Learning, Sampling, and Verifying Strategies
|
2022 |
Hartmanns, Arnd |
| 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 |
| Towards Drone Flocking Using Relative Distance Measurements
|
2022 |
Brandstätter, Andreas |
| An Experimental Toolchain for Strategy Synthesis with Spatial Properties
|
2022 |
Basile, Davide |
Tag hinzufügen