Malvone, Vadim

1. Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
   2022/01/24 by Belardinelli, Francesco, Jamroga, Wojtek, Malvone, Vadim +3 · 1 citation
   #Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences
2. VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
   2024/03/04 by Ferrando, Angelo, Malvone, Vadim · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Software Engineering (cs.SE)