1. Model checking learning agent systems using Promela with embedded C code and abstraction. (November 2016) Authors: Kirwan, Ryan; Miller, Alice; Porr, Bernd Journal: Formal aspects of computing Issue: Volume 28:Number 6(2016) Page Start: 1027 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗