L

Researcher Profile

Louise A. Dennis

0000-0003-1426-1896

2

Publications

269

Citations

4

Co-Authors

2

Active Years

Publications

Open Access Journal Article Proceedings of the IEEE Jul 01, 2020

Verifiable Self-Aware Agent-Based Autonomous Systems

Louise A. Dennis · Michael Fisher

10.1109/jproc.2020.2991262 38 citations

Open Access Journal Article ACM Computing Surveys Sep 13, 2019

Formal Specification and Verification of Autonomous Robotic Systems

Matt Luckcuck · Marie Farrell · Louise A. Dennis · Clare Dixon +1 more

10.1145/3342355 231 citations

Publication Timeline

2020

1

2019

1

Frequent Co-Authors