Thesis
Title Applying model checking to agent-based learning systems / Ryan F. Kirwan.
Author Kirwan, Ryan F.
Published 2014.

Status Loan Type Location Shelf-mark
 Reference Only  Not for loan  Library Research Annexe  Thesis TA2590  
More Details
Description 222 p. : ill. ; 30 cm.
Note Ph.D. thesis submitted to the School of Computing Science, College of Science and Engineering, University of Glasgow, 2014.
Thesis Thesis (Ph.D.) -- University of Glasgow, 2014.
Bibliography Includes bibliographical references (p. 213-222)
Note Electronic version also available via Enlighten: Theses, http://theses.gla.ac.uk
Library Class Thesis TA2590
Subject Intelligent agents (Computer software) -- Theses PhD.
Model-driven software architecture -- Theses PhD.
Autonomous robots -- Theses PhD.

Permanent link to record