Goranko, Valentin

1. Game-Theoretic Semantics for Alternating-Time Temporal Logic
   2016/02/24 by Goranko, Valentin, Kuusisto, Antti, Rönnholm, Raine · 1 citation
   #Computer Science and Game Theory (cs.GT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #I.2.11 #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Game-Theoretic Semantics for ATL+ with Applications to Model Checking
   2017/02/27 by Goranko, Valentin, Kuusisto, Antti, Rönnholm, Raine · 1 citation
   #Computer Science and Game Theory (cs.GT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #I.2.11 #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. Structural theory of trees. I. Branching and condensations of trees
   2023/01/16 by Valentin Goranko, Goranko, Valentin, Ruaan Kellerman +3 · 1 citation
   Computer Science · #05C05 #06A06 #Advanced Graph Theory Research #Combinatorics (math.CO) #FOS: Mathematics #G.2.0 #Logic (math.LO)