Ausgabe 5-6/2023
Inhalt (13 Artikel)
Rigorous engineering of collective adaptive systems – 2nd special section
Martin Wirsing, Stefan Jähnichen, Rocco De Nicola
Correct by design coordination of autonomous driving systems
Marius Bozga, Joseph Sifakis
A toolchain for strategy synthesis with spatial properties
Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia
A causal, time-independent synchronization pattern for collective adaptive systems
Peter Fettke, Wolfgang Reisig
Modelling flocks of birds and colonies of ants from the bottom up
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
A kinetic approach to investigate the collective dynamics of multi-agent systems
Stefania Monica, Federico Bergenti, Franco Zambonelli
A modal approach to conscious social agents
Chen Yifeng, J. W. Sanders
Machine-learning abstractions for component-based self-optimizing systems
Michal Töpfer, Milad Abdullah, Tomáš Bureš, Petr Hnětynka, Martin Kruliš
Generating adaptation rule-specific neural networks
Tomáš Bureš, Petr Hnětynka, Martin Kruliš, František Plášil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich
Coordinating and programming multiple ROS-based robots with X-KLAIM
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
Language support for verifying reconfigurable interacting systems
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Comparing perfomance abstractions for collective adaptive systems
Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto
Publisher Correction: Algorithm selection for SMT
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh