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
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
Research output
-
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
-
Open-World Verification: A Grand Challenge for Autonomous System
Leahy, K., Asgari, H., Dennis, L. A., Feather, M. S., Fisher, M., Ibanez-Guzman, J., Logan, B., I. Olszewska, J. & Redfield, S., 28 Jan 2026, (Accepted/In press) In: Proceedings of the IEEE.Research output: Contribution to journal › Article › peer-review
-
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 AccessFile -
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 AccessFile2 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 AccessFile1 Downloads (Pure)