A Verification Logic for Goal Agents

DOI10.1007/978-1-4419-6984-2_8zbMath1201.68126OpenAlexW1614459461MaRDI QIDQ3056332

Koen V. Hindriks

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_8

zbMATH Keywords

verification of agent programs

Mathematics Subject Classification ID

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

This page was built for publication: A Verification Logic for Goal Agents