A framework for automatically ensuring the conformance of agent designs

Yoosef Abushark, John Thangarajah, James Harland, Tim Miller. A framework for automatically ensuring the conformance of agent designs. Journal of Systems and Software, 131:266-310, 2017. [doi]

Abstract

Abstract is missing.