Show simple item record

Severity-Sensitive Robustness Analysis in Normative Systems

dc.contributor.authorGasparini, Luca
dc.contributor.authorNorman, Timothy J
dc.contributor.authorKollingbaum, Martin J
dc.contributor.authorChen, Liang
dc.contributor.editorGhose, A
dc.contributor.editorOren, A
dc.contributor.editorTelang, N
dc.contributor.editorThangarajah, P
dc.date.accessioned2016-11-08T00:29:49Z
dc.date.available2016-11-08T00:29:49Z
dc.date.issued2015-11-07
dc.identifier55489866
dc.identifier0e32084a-cdf5-4a87-a648-9bf444ec0a19
dc.identifier84951139354
dc.identifier.citationGasparini , L , Norman , T J , Kollingbaum , M J & Chen , L 2015 , Severity-Sensitive Robustness Analysis in Normative Systems . in A Ghose , A Oren , N Telang & P Thangarajah (eds) , Coordination, Organizations, Institutions, and Norms in Agent Systems X . Lecture Notes in Computer Science , vol. 9372 , Springer , pp. 72-88 , The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014) , Paris , France , 6/05/14 . https://doi.org/10.1007/978-3-319-25420-3_5en
dc.identifier.citationconferenceen
dc.identifier.isbn978-3-319-25419-7
dc.identifier.isbn978-3-319-25420-3
dc.identifier.issn0302-9743
dc.identifier.otherBibtex: urn:68c65d0e601e4b6afc991572931ac6bc
dc.identifier.otherORCID: /0000-0001-8170-8374/work/42487871
dc.identifier.urihttp://hdl.handle.net/2164/7665
dc.format.extent17
dc.format.extent433828
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofCoordination, Organizations, Institutions, and Norms in Agent Systems Xen
dc.relation.ispartofseriesLecture Notes in Computer Scienceen
dc.subjectmodel checkeren
dc.subjectpreference relationen
dc.subjectunmanned ariel vehicleen
dc.subjectnormative systemen
dc.subjectlinear temporal logicen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleSeverity-Sensitive Robustness Analysis in Normative Systemsen
dc.typeConference itemen
dc.contributor.institutionUniversity of Aberdeen.Natural & Computing Sciencesen
dc.contributor.institutionUniversity of Aberdeen.Computing Scienceen
dc.contributor.institutionUniversity of Aberdeen.dot.rural Digital Economy Huben
dc.identifier.doi10.1007/978-3-319-25420-3_5
dc.date.embargoedUntil2016-11-07


Files in this item

Thumbnail
Name:
COIN2014_authorfinal.pdf
Size:
423.6Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record