Camera networks become smart when they can interpret video data on board, in order to
carry out tasks as a collective, such as target tracking and (re-) identification of objects of …

Mobile multirobot systems play an increasing role in many disciplines. Their capabilities can
be used, eg, to transport workpieces in industrial applications or to support operational …

Cloud computing defines an infrastructure to provide virtual network services on demand.
One of the challenges to cloud computing systems is how to manage service level …

Programming goal-oriented behavior in collective adaptive systems is complex, requires
high effort, and is failure-prone. If the system's user wants to deploy it in a real-world …

As General and Program Chairs we would like to welcome you to the proceedings of ISoLA
2022, the 11th International Symposium on Leveraging Applications of Formal Methods …

Swarm behavior can be very beneficial for real-world robot applications. While analyzing the
current state of research, we identified that many studied swarm algorithms foremost aim at …

Mobile robot systems usually are designed, built, and programmed for dedicated use cases.
Consequently, especially for unmanned aerial vehicles diverse applications result in very …

Current approaches to increase autonomy of multi-robot applications are often tailored to
particular applications. This specialization is necessary due to specific requirements to the …

A collective adaptive system consists of collaborating entities that are able to adapt at
runtime to dynamically changing, open-ended environments and to evolving requirements …

The cognitive approach to the development of autonomous vehicles takes inspiration from
human reasoning, and, conversely to the computationalist approach, rejects formulating …