P.: Runtime verification of agent properties (2009)

by S Costantini, P Dell’Acqua, L M Pereira, Tsintza
Venue:In: Proc. of the Int. Conf. on Applications of Declarative Programming and Knowledge Management