D.B. Abeywickrama, A. Bennaceur, G. Chance, Y. Demiris, A. Kordoni, M. Levine, L. Moffat, L. Moreau, M.R. Mousavi, B. Nuseibeh, S. Ramamoorthy, J.O. RIngert, J. WIlson, S. Windsor, K. Eder, On specifying for trustworthiness. Manuscript under review, Link.
B. Ganesh, S. Anderson, S. Vallor, If It Ain’t Broke Don’t Fix It: Steamboat Accidents and their Lessons for AI Governance. WeRobot 2022.
A.L. Corso, S.M. Katz, C. Innes, X. Du, S. Ramamoorthy, M.J. Kochenderfer, Risk-driven design of perception systems. Manuscript under review. Link
R. Rubavicius, A. Lascarides, Interactive Symbol Grounding with Complex Referential Expressions. Proceedings of North American Association for Computational Linguistics (NAACL) 2022
P. H. Lim, P. Li, Artificial intelligence and inventorship: patently much ado in the computer program, Journal of Intellectual Property Law & Practice, Volume 17, Issue 4, April 2022, Pages 376–386. Link
L. Viano, Y.-T. Huang, P. Kamalaruban, C. Innes, S. Ramamoorthy, A. Weller, Robust learning from observation with model misspecification, In Proc. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2022. Link.
X. Du, B. Legastelois, B. Ganesh, A. Rajan, H. Chockler, V. Belle, S. Anderson, S. Ramamoorthy, Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilites, Manuscript under review. Preprint
C. Innes, S. Ramamoorthy, Automated testing with temporal logic specifications for robotic controllers using adaptive experiment design. In Proc. IEEE International Conference on Robotics and Automation (ICRA), 2022. Link
C. Muise, V. Belle, P. Felli, S. McIlraith, T. Miller, A. Pearce, L. Sonenberg, Efficient multi-agent epistemic planning: Teaching planners about nested belief. Artificial Intelligence, volume 302.
S. McLachlan, M. Neil, K. Dube, R. Bogani, N. Fenton, B. Schafer, Smart automotive technology adherence to the law: (de)constructing road rules for autonomous system development, verification and safety. International Journal of Law and Information Technology, Volume 29 Winter 2021. Link
2021
F.J.C. Garcia, S.C. Smith, J. Lopes, S. Ramamoorthy, H. Hastie, Self-explainable robots in remote environments, Videos and Demos track. In Proc. ACM/IEEE International Conference on Human-Robot Interaction, 2021. Publisher’s link, Preprint
S.D.S. Marín, D. Gomez-Vargas, N. Céspedes, M. Múnera, F. Roberti, P. Barria, S. Ramamoorthy, M. Becker, R. Carelli, C. A. Cifuentes, Expectations and perceptions of healthcare professionals for robot deployment in hospital environments during the COVID-19 pandemic, Research topic: Robotics, Autonomous Systems and AI for Nonurgent/Nonemergent Healthcare Delivery During and After the COVID-19 Pandemic, Frontiers in Robotics and AI – Biomedical Robotics, 2021. Publisher’s link
M. Appelgren, A. Lascarides, A. Symbol Grounding and Task Learning from Imperfect Corrections. Second International Combined Workshop on Spatial Language Understanding and Grounded Communication for Robotics. ACL-IJNLP, 2021 : Association for Computational Linguistics (ACL), 2021.
C. Marsden, I. Brown and M. Veale. Responding to Disinformation: Ten Recommendations for Regulatory Action and Forebearance, Chapter 11 in M. Moor and D. Tambini ed. Dealing with Digital Dominance, Oxford Press [2021] Preprint
A. McStay, L. Urquhart, In cars (are we really safest of all?): Interior sensing and emotional opacity. Preprint
D. Pagojus, A. Miller, B. Porr and I. Valkov. Simulation and Model Checking for Close to Real-time Overtaking Planning. In: M.Farrell & M. Luckcuck (Eds): Third Workshop on Formal Methods for Autonomous Systems (FMAS2021)
B. Schafer, C. Kutterer, E. Staudegger, E. Nerantzi, J. Slosser, J.J. Baker, M. Hildebrandt, . Kennedy: Legal Services Industry in AIAI4People’s 7 AI Global Frameworks, Atomium. 2021
L. Urquhart, D. Miranda, Policing Faces: The Present and Future of Intelligent Facial Surveillance. Preprint
P, Inglesant, C. Ten Holter, M. Jirotka, R, Williams, Asleep at the wheel? Responsible Innovation in quantum computing. Publishers Link
H. Chockler, D. Kroening, Y. Sun. Explanations for Occluded Images. Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV), 2021. Preprint
H. Pouget, H. Chockler, Y. Sun, D. Kroening. Ranking Policy Decisions. Proceedings of the Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS), 2021. Preprint
H. Chockler, J. Halpern. On Testing for Discrimination Using Causal Models. Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI), 2022. Preprint
S. Murdoch, D. Seng, B. Schafer, S. Mason, The sources and characteristics of electronic evidence and artificial intelligence. Electronic Evidence and Electronic Signatures, University of London Press, 2021. Link
N. Hoernle, R. Karampatsis, V. Belle, Y. Gal. MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. Proceedings of 36th AAAI Conference on Artificial Intelligence (AAAI) 2022
D. Pagojus, A. Miller, B. Porr, I. Vakov. Simulation and Model Checking for Close to Real-time Overtaking Planning. Third workshop on Formal Methods for Autonomous Systems (FMAS2021)
V. Belle, I. Papantonis, Principles and Practice of Explainable Machine Learning. Frontiers in Big Data
V. Belle, Logic Meets Learning: From Aristotle to Neural Networks. Neuro-Symbolic Artificial Intelligence: The State of the Art, Volume 342
S. Bartha, J. Cheney, V. Belle, One down, 699 to go: or, synthesising compositional desugarings. Proceedings of the ACM on Programming Languages, 2021 Link
B. Schafer, Can one be just without being human? Legal AI and the quest for executable justice. Transformative Technologien – Wechselwirkungen zwischen technischem und rechtlichem Wandel, 2021. Link
D. Onitiu, Algorithmic abstractions of ‘fashion identity’ and the role of privacy with regard to algorithmic personalisation systems in the fashion domain. AI & Society, 2021. Link