Skip to main navigation Skip to search Skip to main content
No photo of Brian Logan

View Scopus Profile

Brian Logan

Professor

 https://orcid.org/0000-0003-0648-7107
    • 123
      Citations
    20142026

    Research activity per year

    Fingerprint

    Dive into the research topics where Brian Logan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further

    • Open-World Verification: A Grand Challenge for Autonomous Systems

      Leahy, K., Asgari, H., Dennis, L. A., Feather, M. S., Fisher, M., Ibanez-Guzman, J., Logan, B., I. Olszewska, J. & Redfield, S., 24 Feb 2026, In: Proceedings of the IEEE. 113, 11, p. 1241 - 1250 10 p.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      File
      6 Downloads (Pure)

    • Towards AI-Sympathy Using Agents

      Rodriguez, S., Logan, B. & Thangarajah, J., 5 Feb 2026, (Accepted/In press).

      Research output: Contribution to conference › Oral Presentation/ Invited Talk

    • Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning

      Varricchione, G. (Corresponding Author), Alechina, N., Dastani, M. & Logan, B., 2026, In: Journal of Artificial Intelligence Research. 85, 30 p., 38.

      Research output: Contribution to journal › Article › peer-review

      Open Access
      File

    • Run-time verification of robot-assisted surgery using visual input

      Gogoladze, K. (Corresponding Author), van Jaarsveld, R., Alechina, N., De Jong, R., Al Khalil, Y., Kuiper, G., Logan, B. & Ruurda, J., 26 Oct 2025, In: CEUR Workshop Proceedings. 4140, p. 85-91 7 p.

      Research output: Contribution to journal › Conference article › peer-review

      Open Access
      File
      2 Downloads (Pure)

    • Synthesising Minimum Cost Dynamic Norms

      Alechina, N., Logan, B. & Perelli, G., 22 Aug 2025, (E-pub ahead of print) Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Kwok, J. (ed.). IJCAI, 9 p. (IJCAI International Joint Conference on Artificial Intelligence).

      Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

      Open Access
      File
      1 Downloads (Pure)
    View all 33 research outputs