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

DOI10.1007/978-3-031-16336-4_7zbMath1522.68333WikidataQ124438287 ScholiaQ124438287MaRDI QIDQ6160774

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)

Cites Work

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

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