Journal article

A framework for automatically ensuring the conformance of agent designs

Yoosef Abushark, John Thangarajah, James Harland, Tim Miller

Journal of Systems and Software | ELSEVIER SCIENCE INC | Published : 2017