Norman, Gethin

1. Probabilistic Model Checking and Autonomy
   2021/11/20 by Kwiatkowska, Marta, Norman, Gethin, Parker, David · 6 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Equilibria-based Probabilistic Model Checking for Concurrent Stochastic\n Games
   2018/11/17 by Marta Kwiatkowska, Gethin Norman, Kwiatkowska, Marta +5 · 1 citation
   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
3. Partially Observable Stochastic Games with Neural Perception Mechanisms
   2023/10/17 by Yan, Rui, Santos, Gabriel, Norman, Gethin +2 · 1 citation
   #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Machine Learning (cs.LG)