A Verification Logic for GOAL Agents

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

4 Citations (Scopus)
Original languageEnglish
Title of host publicationSpecification and Verification of Multi-agent Systems
EditorsM Dastani, KV Hindriks, JJCh Meyer
Place of PublicationNew York, NY, USA
PublisherSpringer
Pages225-254
Number of pages405
ISBN (Print)978-1-4419-6983-5
DOIs
Publication statusPublished - 2010

Keywords

  • Boekdeel internat.wet

Cite this