Logan, Brian

1. Causality, Responsibility and Blame in Team Plans
   2020/05/20 by Alechina, Natasha, Halpern, Joseph Y., Logan, Brian · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multiagent Systems (cs.MA)
2. Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources
   2015/04/25 by Natasha Alechina, Alechina, Natasha, Brian Logan +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multiagent Systems (cs.MA) #cs.LO #cs.MA
3. Grand Challenges in the Verification of Autonomous Systems
   2024/11/21 by Leahy, Kevin, Asgari, Hamid, Dennis, Louise A. +6 · 3 citations
   #FOS: Computer and information sciences #Robotics (cs.RO)