vix.ing · top · new · best · stats · spec

Gabriel Santos

  1. Equilibria-based Probabilistic Model Checking for Concurrent Stochastic\n Games
    2018/11/17 by Marta Kwiatkowska, Gethin Norman, Kwiatkowska, Marta +5 · 2 citations
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Multi-Agent Systems and Negotiation