Verifying Agents with Memory Is Harder than It Seemed

Bulling, N.; Jamroga, Wojciech

doi:10.3233/AIC-2010-0481

Request a copy

Article (Scientific journals)

Verifying Agents with Memory Is Harder than It Seemed

Bulling, N.; Jamroga, Wojciech

2010 • In AI Communications, 23, p. 380–403

Peer Reviewed verified by ORBi

Permalink
https://hdl.handle.net/10993/11190

DOI
10.3233/AIC-2010-0481

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

atlplus10aicomm.pdf

Author preprint (703.37 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Identifiers :

UNILU:UL-ARTICLE-2011-035

Author, co-author :

Bulling, N.

Jamroga, Wojciech ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Language :

English

Title :

Verifying Agents with Memory Is Harder than It Seemed

Publication date :

2010

Journal title :

AI Communications

ISSN :

0921-7126

Publisher :

IOS Press

Volume :

Pages :

380–403

Peer reviewed :

Peer Reviewed verified by ORBi

Available on ORBilu :

since 18 November 2013

Statistics

Number of views

46 (2 by Unilu)

Number of downloads

1 (1 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

WoS citations^™