Reference : Verifying Agents with Memory Is Harder than It Seemed
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/11190
Verifying Agents with Memory Is Harder than It Seemed
English
Bulling, N. [> >]
Jamroga, Wojciech mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2010
AI Communications
IOS Press
23
380–403
Yes (verified by ORBilu)
International
0921-7126
http://hdl.handle.net/10993/11190

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
atlplus10aicomm.pdfAuthor preprint686.88 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.