1. Rigorous engineering of collective adaptive systems – 2nd special section

   • Martin Wirsing
   • Stefan Jähnichen
   • Rocco De Nicola

   Foundations for Mastering Change Open access 14 November 2023 Pages: 617 - 624

2. Correct by design coordination of autonomous driving systems

   • Marius Bozga
   • Joseph Sifakis

   Foundations for Mastering Change 02 November 2023 Pages: 625 - 639

3. A toolchain for strategy synthesis with spatial properties

   • Davide Basile
   • Maurice H. ter Beek
   • Vincenzo Ciancia

   Foundations for Mastering Change Open access 02 November 2023 Pages: 641 - 658

4. A causal, time-independent synchronization pattern for collective adaptive systems

   • Peter Fettke
   • Wolfgang Reisig

   Foundations for Mastering Change Open access 24 November 2023 Pages: 659 - 673

5. Modelling flocks of birds and colonies of ants from the bottom up

   • Rocco De Nicola
   • Luca Di Stefano
   • Serenella Valiani

   Foundations for Mastering Change Open access 02 November 2023 Pages: 675 - 691

6. A kinetic approach to investigate the collective dynamics of multi-agent systems

   • Stefania Monica
   • Federico Bergenti
   • Franco Zambonelli

   Foundations for Mastering Change 02 November 2023 Pages: 693 - 705

7. A modal approach to conscious social agents

   • Chen Yifeng
   • J. W. Sanders

   Foundations for Mastering Change 14 November 2023 Pages: 707 - 716

8. Machine-learning abstractions for component-based self-optimizing systems

   • Michal Töpfer
   • Milad Abdullah
   • Martin Kruliš

   Foundations for Mastering Change 02 November 2023 Pages: 717 - 731

9. Generating adaptation rule-specific neural networks

   • Tomáš Bureš
   • Petr Hnětynka
   • Robert Heinrich

   Foundations for Mastering Change 07 November 2023 Pages: 733 - 746

10. Coordinating and programming multiple ROS-based robots with X-KLAIM

    • Lorenzo Bettini
    • Khalid Bourr
    • Francesco Tiezzi

    Foundations for Mastering Change Open access 02 November 2023 Pages: 747 - 764

11. Language support for verifying reconfigurable interacting systems

    • Yehia Abd Alrahman
    • Shaun Azzopardi
    • Nir Piterman

    Foundations for Mastering Change Open access 02 November 2023 Pages: 765 - 784

12. Comparing perfomance abstractions for collective adaptive systems

    • Maurizio Murgia
    • Riccardo Pinciroli
    • Emilio Tuosto

    Foundations for Mastering Change Open access 02 November 2023 Pages: 785 - 798

13. Publisher Correction: Algorithm selection for SMT

    • Joseph Scott
    • Aina Niemetz
    • Vijay Ganesh

    Publisher Correction 14 August 2023 Pages: 799 - 800