A logical framework for reasoning about local and global properties of collective systems

DOI10.1007/978-3-031-16336-4_7zbMATH Open1522.68333WikidataQ124438287 ScholiaQ124438287MaRDI QIDQ6160774FDOQ6160774

Authors: Michele Loreti, Aniqa Rehman 

Publication date: 2 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Recommendations

• Quantitative abstractions for collective adaptive systems
• A Distributed Logic for Networked Cyber-Physical Systems
• A higher-order calculus of computational fields
• Computational Science – ICCS 2005
• Automatic moment-closure approximation of spatially distributed collective adaptive systems

zbMATH Keywords

multi-agent systemsstatistical model checkingtemporal logicslocal and global properties

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Cites Work

• Formal Methods in Computer-Aided Design
• Statistical model checking
• Model checking Markov population models by stochastic approximations
• Fluid approximation of broadcasting systems
• Geometric fluid approximation for general continuous-time Markov chains

Cited In (4)

• Quantitative abstractions for collective adaptive systems
• Automatic moment-closure approximation of spatially distributed collective adaptive systems
• A locality principle for system theory.
• Abduction of distributed theories through local interactions

This page was built for publication: A logical framework for reasoning about local and global properties of collective systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160774)