Browse by People

Alves, Gleifer Vaz, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael (2021) A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 10 (3). p. 41.

Collapse authors list.
Dignum, Virginia, Baldoni, Matteo, Baroglio, Cristina, Caon, Maurizio, Chatila, Raja, Dennis, Louise ORCID: 0000-0003-1426-1896, Génova, Gonzalo, Haim, Galit, Kließ, Malte S, Lopez-Sanchez, Maite et al (show 9 more authors) , Micalizio, Roberto, Pavón, Juan, Slavkovik, Marija, Smakman, Matthijs, van Steenbergen, Marlies, Tedeschi, Stefano, van der Toree, Leon, Villata, Serena and de Wildt, Tristan (2018) Ethics by Design. In: AIES '18: AAAI/ACM Conference on AI, Ethics, and Society, 2018-2-2 - 2018-2-3, New Orleans, USA.

Dennis, Louise ORCID: 0000-0003-1426-1896, Fisher, Michael, Slavkovik, Marija and Webster, Matt ORCID: 0000-0002-8817-6881 (2016) Formal verification of ethical choices in autonomous systems. ROBOTICS AND AUTONOMOUS SYSTEMS, 77. pp. 1-14.

Dennis, Louise ORCID: 0000-0003-1426-1896 (2015) Lego Dinosaurs. [Software]

Dennis, Louise and Fisher, Michael (2018) Practical Challenges in Explicit Ethical Machine Reasoning. In: International Symposium on Artificial Intelligence and Mathematics, 2018-1-3 - 2018-1-5, Fort Lauderdale, Florida, US.

Dennis, Louise ORCID: 0000-0003-1426-1896, Fisher, Michael, Lincoln, Nicholas K, Lisitsa, Alexei and Veres, Sandor M (2014) Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Automated Software Engineering, 23 (3). pp. 305-359.

Dennis, Louise ORCID: 0000-0003-1426-1896 (2014) ROS-AIL Integration. [Report]

Winikoff, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael (2019) Slicing Agent Programs for More Efficient Verification. In: Engineering Multi-Agent Systems, 2018-7-14 - ?, Stockholm, Sweden.

Collapse authors list.
Mousavi, Mohammad Reza, Cavalcanti, Ana, Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896, Hierons, Rob, Kaddouh, Bilal, Law, Effie Lai-Chong, Richardson, Rob, Ringer, Jan Oliver, Tyukin, Ivan et al (show 1 more authors) and Woodcock, Jim (2023) Trustworthy Autonomous Systems Through Verifiability. COMPUTER, 56 (2). pp. 40-47.

Collapse authors list.
Fisher, Michael, Collins, Emily ORCID: 0000-0001-9396-536X, Dennis, Louise ORCID: 0000-0003-1426-1896, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Webster, Matt ORCID: 0000-0002-8817-6881, Jump, Mike ORCID: 0000-0002-1028-2334, Page, Vincent, Patchett, Charles, Dinmohammadi, Fateme, Flynn, David et al (show 2 more authors) , Robu, Valentin and Zhao, Xingyu ORCID: 0000-0002-3474-349X (2018) Verifiable Self-Certifying Autonomous Systems. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018-10-15 - 2018-10-18.

Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Webster, Matt ORCID: 0000-0002-8817-6881 (2013) Verifying Autonomous Systems. COMMUNICATIONS OF THE ACM, 56 (9). pp. 84-93.

Slavkovikj, Marija, Dennis, Louise ORCID: 0000-0003-1426-1896 and Fisher, Michael (2015) An abstract formal basis for digital crowds. Distributed and Parallel Databases, 33 (1). pp. 3-31.