Formal Modeling of Robot Behavior with Learning. - Ryan F. Kirwan; Alice Miller 001; Bernd Porr; Paolo di Prodi (Neural Comput., 2013)

Applying model checking to agent-based learning systems. - Ryan F. Kirwan (2014)

Model checking learning agent systems using Promela with embedded C code and abstraction. - Ryan F. Kirwan; Alice Miller 001; Bernd Porr (Formal Aspects Comput., 2016)