scientific article; zbMATH DE number 7730626

DOI10.4230/lipics.concur.2021.24arXiv2107.02509MaRDI QIDQ6176108

Bernd Finkbeiner, Raven Beutner

Publication date: 21 August 2023

Full work available at URL: https://arxiv.org/abs/2107.02509

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkingtemporal logicmulti-agent systemsinformation flowalternating-time temporal logichyperpropertiesasynchronous hyperproperties

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems