scientific article; zbMATH DE number 7028880

DOI10.13328/J.CNKI.JOS.005462zbMath1424.68094MaRDI QIDQ4624673

Yedi Zhang, Fu Song

Publication date: 22 February 2019

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

zbMATH Keywords

model-checkingmulti-agent systemalternating-time temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: