Gasparini, LucaNorman, Timothy JKollingbaum, Martin JChen, LiangGhose, AOren, ATelang, NThangarajah, P2016-11-082016-11-082015-11-07Gasparini, 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_5conference978-3-319-25419-7978-3-319-25420-30302-9743Bibtex: urn:68c65d0e601e4b6afc991572931ac6bcORCID: /0000-0001-8170-8374/work/42487871http://hdl.handle.net/2164/766517433828engmodel checkerpreference relationunmanned ariel vehiclenormative systemlinear temporal logicQA75 Electronic computers. Computer scienceQA75Conference item10.1007/978-3-319-25420-3_5