scientific article; zbMATH DE number 1931654

zbMath1013.68208MaRDI QIDQ4708912

M. K. Valiev, Alexander Dikovsky, Michael I. Dekhtyar

Publication date: 20 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240125.htm

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

zbMATH Keywords

ComplexityModel checkingTemporal logicsLogic programMulti-Agent SystemIntelligent agent

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Biography of Alexandre Dikovsky ⋮ On complexity of verification of interacting agents' behavior

This page was built for publication: