Sznajder, Nathalie

1. Probabilistic Opacity for Markov Decision Processes
   2014/07/16 by Béatrice Bérard, Krishnendu Chatterjee, Bérard, Béatrice +3 · 2 citations
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #cs.CR
2. Games on Graphs: From Logic and Automata to Algorithms
   2023/05/17 by Nathanaël Fijalkow, C. Aiswarya, Fijalkow, Nathanaël +48 · 1 voice · 2 citations
   Computer Science · Decision Sciences · #Artificial Intelligence in Games #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Game Theory and Applications #Logic in Computer Science (cs.LO) #cs.FL #cs.GT #cs.LO