Survey on Formation Verification for Ensembling Collective Adaptive System
The increasing discoveries in the autonomous system had caught researchers attentions. They aimed to find the suitable way to automate the formation of system components in reacting towards the dynamic environments. Among the challenges in designing adaptive systems are to verifying a system’s forma...
| Published in: | Lecture Notes on Data Engineering and Communications Technologies |
|---|---|
| Main Author: | |
| Format: | Book chapter |
| Language: | English |
| Published: |
Springer Science and Business Media Deutschland GmbH
2022
|
| Online Access: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85127725295&doi=10.1007%2f978-981-16-8403-6_19&partnerID=40&md5=d37acbce9b63752f55da00fb621ee216 |