Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
portes grátis
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Steffen, Bernhard; Margaria, Tiziana
Springer International Publishing AG
12/2024
363
Mole
9783031751066
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Rigorous 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;artificial intelligence;computer programming;distributed computer systems;embedded systems;formal languages;formal logic;formal methods;formal verifications;object-oriented programming;software architecture;verification and validation
Rigorous 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
