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

DOI10.1007/978-3-031-16336-4_7MaRDI QIDQ6160774zbMATH OpenWikidataFDO

Authors Michele Loreti, Aniqa Rehman

Publication date 2 June 2023

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

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)

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

Cites work

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

Cited in

(5)

• Automatic moment-closure approximation of spatially distributed collective adaptive systems
• A locality principle for system theory.
• Design and verification of trusted collective adaptive systems
• Quantitative abstractions for collective adaptive systems
• 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)