Louise Abigail Dennis

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Top Venues

AAAI Workshop: AI and Ethics

J. Sens. Actuator Networks

Publications

Gleifer Vaz Alves, Louise Abigail Dennis, Michael Fisher
A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. J. Sens. Actuator Networks 10 (3) (2021)
Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield
Towards Verifiably Ethical Robot Behaviour. AAAI Workshop: AI and Ethics (2015)