Severity-Sensitive Robustness Analysis in Normative Systems
| dc.contributor.author | Gasparini, Luca | |
| dc.contributor.author | Norman, Timothy J | |
| dc.contributor.author | Kollingbaum, Martin J | |
| dc.contributor.author | Chen, Liang | |
| dc.contributor.editor | Ghose, A | |
| dc.contributor.editor | Oren, A | |
| dc.contributor.editor | Telang, N | |
| dc.contributor.editor | Thangarajah, P | |
| dc.contributor.institution | University of Aberdeen.Natural & Computing Sciences | en |
| dc.contributor.institution | University of Aberdeen.Computing Science | en |
| dc.contributor.institution | University of Aberdeen.dot.rural Digital Economy Hub | en |
| dc.date.accessioned | 2016-11-08T00:29:49Z | |
| dc.date.available | 2016-11-08T00:29:49Z | |
| dc.date.embargoedUntil | 2016-11-07 | |
| dc.date.issued | 2015-11-07 | |
| dc.format.extent | 17 | |
| dc.format.extent | 433828 | |
| dc.identifier | 55489866 | |
| dc.identifier | 0e32084a-cdf5-4a87-a648-9bf444ec0a19 | |
| dc.identifier | 84951139354 | |
| dc.identifier.citation | Gasparini, 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_5 | en |
| dc.identifier.citation | conference | en |
| dc.identifier.doi | 10.1007/978-3-319-25420-3_5 | |
| dc.identifier.isbn | 978-3-319-25419-7 | |
| dc.identifier.isbn | 978-3-319-25420-3 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.other | Bibtex: urn:68c65d0e601e4b6afc991572931ac6bc | |
| dc.identifier.other | ORCID: /0000-0001-8170-8374/work/42487871 | |
| dc.identifier.uri | http://hdl.handle.net/2164/7665 | |
| dc.language.iso | eng | |
| dc.publisher | Springer | |
| dc.relation.ispartof | Coordination, Organizations, Institutions, and Norms in Agent Systems X | en |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | en |
| dc.subject | model checker | en |
| dc.subject | preference relation | en |
| dc.subject | unmanned ariel vehicle | en |
| dc.subject | normative system | en |
| dc.subject | linear temporal logic | en |
| dc.subject | QA75 Electronic computers. Computer science | en |
| dc.subject.lcc | QA75 | en |
| dc.title | Severity-Sensitive Robustness Analysis in Normative Systems | en |
| dc.type | Conference item | en |
