Dr Louise Dennis

Senior Lecturer

View graph of relations

Publications

  1. 2021
  2. Published

    Enforcing Machine Ethics: Considering Governor Modules through Martha Wells’s Murderbot Diaries

    Slocombe, W. & Dennis, L., 1 Sep 2021, Minding the Future: Artificial Intelligence, Philosophical Visions and Science Fiction. Dainton, B., Slocombe, W. & Tanyi, A. (eds.). Springer Nature, p. 65-86 22 p. (Science and Fiction ).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  3. Published

    A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations

    Alves, G. V., Dennis, L. & Fisher, M., 25 Jun 2021, In: Journal of Sensor and Actuator Networks.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Principles for the development and assurance of autonomous systems for safe use in hazardous environments

    Luckcuck, M., Fisher, M., Dennis, L., Frost, S., White, A. & Styles, D., 14 Jun 2021, Switzerland: Zenodo. 27 p.

    Research output: Book/ReportOther report

  5. Accepted/In press

    No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds

    Tsvarkaleva, M. & Dennis, L., 12 Jun 2021, (Accepted/In press) 4th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2021) .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  6. Published

    An Overview of Verification and Validation Challenges for Inspection Robots

    Fisher, M., Cardoso, R. C., Collins, E. C., Dadswell, C., Dennis, L. A., Dixon, C., Farrell, M., Ferrando, A., Huang, X., Jump, M., Kourtis, G., Lisitsa, A., Luckcuck, M., Luo, S., Page, V., Papacchini, F. & Webster, M., 29 Apr 2021, In: robotics.

    Research output: Contribution to journalArticlepeer-review

  7. Accepted/In press

    A Review of Verification and Validation for Space Autonomous Systems

    Cardoso, R., Kourtis, G., Dennis, L., Dixon, C., Farrell, M., Fisher, M. & Webster, M., 12 Apr 2021, (Accepted/In press) In: Journal of Current Robotics Reports.

    Research output: Contribution to journalArticlepeer-review

  8. Accepted/In press

    Agile Tasking of Robotic Systems with Explicit Autonomy

    Cardoso, R., Michaloski, J. L., Schlenoff, C., Ferrando, A., Dennis, L. & Fisher, M., 17 Mar 2021, (Accepted/In press) The 34th International FLAIRS Conference .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  9. Accepted/In press

    Integrating Formal Verification and Assurance: An Inspection Rover Case Study

    Bourbouh, H., Farrell, M., Mavridou, A., Sljivo, I., Brat, G., Dennis, L. & Fisher, M., 11 Mar 2021, (Accepted/In press) 13th NASA Formal Methods Symposium (NFM 2021).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  10. Accepted/In press

    Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems

    Ferrando, A., Dennis, L., Cardoso, R., Fisher, M., Ancona, D. & Mascardi, V., 11 Jan 2021, (Accepted/In press) In: ACM Transactions on Software Engineering and Methodology.

    Research output: Contribution to journalArticlepeer-review

  11. Published

    An Interface for Programming Verifiable Autonomous Agents in ROS

    Cardoso, R., Ferrando, A., Dennis, L. & Fisher, M., 5 Jan 2021, EUMAS 2020, AT 2020: Multi-Agent Systems and Agreement Technologies. Springer Nature, (Lecture Notes in Computer Science; vol. 12520).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Previous 1 2 3 4 5 6 7 Next

Research Explorer downloads

21

Research output: Contribution to conferencePaperpeer-review

9
5

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review