Alechina, Natasha

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\n 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)
3. Coalition and Group Announcement Logic
   2018/10/03 by Galimullin, Rustam, Alechina, Natasha · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)