Ryan F. Kirwan

According to our database¹, Ryan F. Kirwan authored at least 3 papers between 2013 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Model checking learning agent systems using Promela with embedded C code and abstraction.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

2014

Applying model checking to agent-based learning systems.

[BibT_eX]

[DOI]

PhD thesis, 2014

2013

Formal Modeling of Robot Behavior with Learning.

[BibT_eX]

[DOI]

Neural Comput., 2013