Verifying Dribble Agents

DOI10.1007/978-3-642-11355-0_15zbMath1274.68205OpenAlexW1580573829MaRDI QIDQ3402253

Brian Logan, Natasha Alechina, Doan Thu Trang

Publication date: 2 February 2010

Published in: Declarative Agent Languages and Technologies VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11355-0_15

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Reasoning about plan revision in BDI agent programs

This page was built for publication: Verifying Dribble Agents