Items where Author is "Dennis, Louise"

Data Collection

Dennis, Louise and Slavkovik, Marija (2019) PRISM models, output and timing information for experiments to investigate Information Diffusion in Social Networks. [Data Collection]

Koeman, Vincent, Dennis, Louise, Webster, Matt, Fisher, Michael and Hindriks, Koen (2019) Explainability for Gwendolen Programs (Initial Version). [Data Collection]

Dennis, Louise, Fisher, Michael, Bremner, Paul and Winfield, Alan (2019) On Proactive, Transparent and Verifiable Ethical Reasoning for Robots. [Data Collection]

Winikoff, Michael, Dennis, Louise and Fisher, Michael (2018) Slicing Agent Programs for more Efficient Verification. [Data Collection]

Dennis, Louise, Fisher, Michael, Ferrando, Angelo, Mascardi, Viviana and Ancona, Davide (2018) Recognising Assumption Violations in Autonomous Systems Verification. [Data Collection]

Bjorgen, Edvard P., Madsen, Simen, Bjorknes, Therese S., Heimsaeter, Fredrik V., Haavik, Robin, Linderud, Morten, Longberg, Per-Niklas, Dennis, Louise and Slavkovik, Marija (2017) DilemmaZ: dilemmas for benchmarking ethical decision-making by artificial intelligence systems. [Data Collection]

Kamali, Maryam, Dennis, Louise and Fisher, Michael (2017) Formal verification of autonomous vehicle platooning. [Data Collection]

Dennis, Louise (2016) Prism Files used in "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. [Data Collection]

Dennis, Louise and Webster, Matt (2016) Recomputable Experiments for Ethical Choices in Autonomous Systems: Verifying ethical choice in three Aviation scenarios. [Data Collection]