Ryan Kirwan
Ryan Kirwan
Verified email at SingaporeTech.edu.sg
Title
Cited by
Cited by
Year
Formal modeling of robot behavior with learning
R Kirwan, A Miller, B Porr, PD Prodi
Neural computation 25 (11), 2976-3019, 2013
72013
Abstraction for model checking robot behaviour
R Kirwan, A Miller
Automated Reasoning Workshop 2011, 1, 2011
32011
Model checking for improved adaptive behaviour
A Miller, R Kirwan, B Porr, P di Prodi
IET Digital Library, 2013
22013
Model checking multi-agent systems
R Kirwan, A Miller
Automated Reasoning Workshop 2010 Bridging the Gap between Theory and …, 2010
22010
Applying model checking to agent-based learning systems
RF Kirwan
University of Glasgow, 2014
12014
Progress on Model Checking Robot Behaviour
R Kirwan, A Miller
ARW 2012, 39, 2012
12012
Incorporating Industry into the Curriculum: Applied Learning in Computer Science
R Kirwan, V Balachandran
Applied Learning in Higher Education: Perspective, Pedagogy, and Practice, 85-98, 2020
2020
Model checking learning agent systems using Promela with embedded C code and abstraction
R Kirwan, A Miller, B Porr
Formal Aspects of Computing 28 (6), 1027-1056, 2016
2016
Formal proof of Abstraction for Agent-Based Learning systems
R Kirwan, A Miller
2013
Modelling multi-agent systems
R Kirwan, A Miller
2010
The system can't perform the operation now. Try again later.
Articles 1–10