Rigorous engineering of collective adaptive systems – 2nd special section Martin WirsingStefan JähnichenRocco De Nicola Foundations for Mastering Change Open access 14 November 2023 Pages: 617 - 624
Correct by design coordination of autonomous driving systems Marius BozgaJoseph Sifakis Foundations for Mastering Change 02 November 2023 Pages: 625 - 639
A toolchain for strategy synthesis with spatial properties Davide BasileMaurice H. ter BeekVincenzo Ciancia Foundations for Mastering Change Open access 02 November 2023 Pages: 641 - 658
A causal, time-independent synchronization pattern for collective adaptive systems Peter FettkeWolfgang Reisig Foundations for Mastering Change Open access 24 November 2023 Pages: 659 - 673
Modelling flocks of birds and colonies of ants from the bottom up Rocco De NicolaLuca Di StefanoSerenella Valiani Foundations for Mastering Change Open access 02 November 2023 Pages: 675 - 691
A kinetic approach to investigate the collective dynamics of multi-agent systems Stefania MonicaFederico BergentiFranco Zambonelli Foundations for Mastering Change 02 November 2023 Pages: 693 - 705
A modal approach to conscious social agents Chen YifengJ. W. Sanders Foundations for Mastering Change 14 November 2023 Pages: 707 - 716
Machine-learning abstractions for component-based self-optimizing systems Michal TöpferMilad AbdullahMartin Kruliš Foundations for Mastering Change 02 November 2023 Pages: 717 - 731
Generating adaptation rule-specific neural networks Tomáš BurešPetr HnětynkaRobert Heinrich Foundations for Mastering Change 07 November 2023 Pages: 733 - 746
Coordinating and programming multiple ROS-based robots with X-KLAIM Lorenzo BettiniKhalid BourrFrancesco Tiezzi Foundations for Mastering Change Open access 02 November 2023 Pages: 747 - 764
Language support for verifying reconfigurable interacting systems Yehia Abd AlrahmanShaun AzzopardiNir Piterman Foundations for Mastering Change Open access 02 November 2023 Pages: 765 - 784
Comparing perfomance abstractions for collective adaptive systems Maurizio MurgiaRiccardo PinciroliEmilio Tuosto Foundations for Mastering Change Open access 02 November 2023 Pages: 785 - 798
Publisher Correction: Algorithm selection for SMT Joseph ScottAina NiemetzVijay Ganesh Publisher Correction 14 August 2023 Pages: 799 - 800