{"product_id":"leveraging-applications-of-formal-methods-verification-and-validation-rigorous-engineering-of-collective-adaptive-systems-9783031751066","title":"Leveraging Applications of Formal Methods Verification and Validation. Rigorous Engineering of Collective Adaptive Systems","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eRigorous Engineering of Collective Adaptive Systems  -  Introduction to the 5th Track Edition.- Optimality-preserving Reduction of Chemical Reaction Networks.- Exploring Consensus Robustness in Swarms with Disruptive Individuals.- Towards Real-Time Aggregate Computing.- Epistemic Ensembles in Semantic and Symbolic Environments.- The evolving conscious agent, I.- Emergence in Multi-Agent Systems: A Safety Perspective.- The EM-BDD algorithm for learning hidden Markov models.- Is Machine Learning Model Checking Privacy Preserving?.- Matching Expectations in Ensembles: Connecting Verifiable Credentials and the Semantic Web.- Once and for all: how to compose modules - The Composition Calculus.- RailCabs and Birds in Julia - Context-Role Ensemble Engineering in Practice.- How Well Do LLMs Understand DEECo Ensemble-based Component Architectures.- Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-KLAIM Code.- Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL.- An Approach for Extended Swarm Formation Flight with Drones: Protease2.0.- Monitoring Local and Global Properties of Collective Adaptive Systems.- Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic.- Statistical model checking of cooperative autonomous driving systems.- Attributed Point-to-point Communication in R-Check.- Local Reasoning and Attribute-based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195418468695,"sku":"9783031751066","price":67.49,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/leveraging-applications-of-formal-methods-verification-and-validation-rigorous-engineering-of-collective-adaptive-systems-9783031751066","provider":"Book Curl","version":"1.0","type":"link"}