Reference : Verifying Agents with Memory Is Harder than It Seemed
Document type : Scientific journals : Article
Discipline(s) : Engineering, computing & technology : Computer science To cite this reference: http://hdl.handle.net/10993/11190
Title : Verifying Agents with Memory Is Harder than It Seemed
Language : English
Author, co-author : Bulling, N. [> >]
Jamroga, Wojciech [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date : 2010
Journal title : AI Communications
Publisher : IOS Press
Volume : 23
Pages : 380–403
Peer reviewed : Yes (verified by ORBilu )
Audience : International
ISSN : 0921-7126
Permalink : http://hdl.handle.net/10993/11190
File(s) associated to this reference
Fulltext file(s):
All documents in ORBilu are protected by a user license .