Abstract is missing.
- th Track EditionMartin Wirsing, Rocco De Nicola, Stefan Jähnichen. 3-12 [doi]
- Correct by Design Coordination of Autonomous Driving SystemsMarius Bozga, Joseph Sifakis. 13-29 [doi]
- Neural Predictive Monitoring for Collective Adaptive SystemsFrancesca Cairoli, Nicola Paoletti, Luca Bortolussi. 30-46 [doi]
- An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVsJaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky. 47-64 [doi]
- Discrete Models of Continuous Behavior of Collective Adaptive SystemsPeter Fettke, Wolfgang Reisig. 65-81 [doi]
- Modelling Flocks of Birds from the Bottom UpRocco De Nicola, Luca Di Stefano 0001, Omar Inverso, Serenella Valiani. 82-96 [doi]
- Towards Drone Flocking Using Relative Distance MeasurementsAndreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari 0001, Radu Grosu. 97-109 [doi]
- Epistemic EnsemblesRolf Hennicker, Alexander Knapp, Martin Wirsing. 110-126 [doi]
- A Modal Approach to Consciousness of AgentsYifeng Chen, Jeff W. Sanders. 127-141 [doi]
- An Experimental Toolchain for Strategy Synthesis with Spatial PropertiesDavide Basile 0001, Maurice H. ter Beek, Vincenzo Ciancia. 142-164 [doi]
- Toward a Kinetic Framework to Model the Collective Dynamics of Multi-agent SystemsStefania Monica, Federico Bergenti, Franco Zambonelli. 165-180 [doi]
- Understanding Social Feedback in Biological Collectives with Smoothed Model CheckingJulia Klein, Tatjana Petrov. 181-198 [doi]
- Efficient Estimation of Agent NetworksAlexander Leguizamon-Robayo, Max Tschaikowski. 199-214 [doi]
- Attuning Adaptation Rules via a Rule-Specific Neural NetworkTomás Bures, Petr Hnetynka, Martin Krulis, Frantisek Plásil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich. 215-230 [doi]
- Measuring Convergence Inertia: Online Learning in Self-adaptive Systems with Context ShiftsElvin Alberts, Ilias Gerostathopoulos. 231-248 [doi]
- Capturing Dependencies Within Machine Learning via a Formal Process ModelFabian Ritz, Thomy Phan, Andreas Sedlmeier, Philipp Altmann, Jan Wieghardt, Reiner N. Schmid, Horst Sauer, Cornel Klein, Claudia Linnhoff-Popien, Thomas Gabor. 249-265 [doi]
- On Model-Based Performance Analysis of Collective Adaptive SystemsMaurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto. 266-282 [doi]
- Programming Multi-robot Systems with X-KLAIMLorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi 0001. 283-300 [doi]
- Bringing Aggregate Programming Towards the CloudGiorgio Audrito, Ferruccio Damiani, Gianluca Torta. 301-317 [doi]
- Ensemble-Based Modeling Abstractions for Modern Self-optimizing SystemsMichal Töpfer, Milad Abdullah, Tomás Bures, Petr Hnetynka, Martin Krulis. 318-334 [doi]
- Formal Analysis of Lending Pools in Decentralized FinanceMassimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin. 335-355 [doi]
- A Rewriting Framework for Interacting Cyber-Physical AgentsBenjamin Lion, Farhad Arbab, Carolyn L. Talcott. 356-372 [doi]
- Model Checking Reconfigurable Interacting SystemsYehia Abd Alrahman, Shaun Azzopardi, Nir Piterman. 373-389 [doi]
- Formal Methods Meet Machine Learning (F3ML)Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen. 393-405 [doi]
- The Modest State of Learning, Sampling, and Verifying StrategiesArnd Hartmanns, Michaela Klauck. 406-432 [doi]
- Importance Splitting in UppaalKim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen. 433-447 [doi]
- Verification of Variability-Intensive Stochastic Systems with Statistical Model CheckingSami Lazreg, Maxime Cordy, Axel Legay. 448-471 [doi]