A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems

DOI10.1007/978-1-4419-6984-2_11zbMath1201.68128OpenAlexW1506846451MaRDI QIDQ3056336

Alexei Sharpanskykh, Jan Treur

Publication date: 11 November 2010

Published in: Specification and Verification of Multi-agent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4419-6984-2_11

Mathematics Subject Classification ID

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

Related Items (1)

How the brain creates emergent information by the development of mental models: an analysis from the perspective of temporal factorisation and criterial causation

Uses Software

• TTL

This page was built for publication: A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems