Eberhart, Clovis

1. Compositional Probabilistic Model Checking with String Diagrams of MDPs
   2023/07/17 by Kazuki Watanabe, Clovis Eberhart, Watanabe, Kazuki +5 · 3 citations
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques
2. Simple game semantics and Day convolution
   2018/10/16 by Clovis Eberhart, Eberhart, Clovis, Tom Hirschowitz +3 · 1 citation
   Computer Science · #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
3. Compositional Solution of Mean Payoff Games by String Diagrams
   2023/07/16 by Kazuki Watanabe, Clovis Eberhart, Watanabe, Kazuki +5 · 2 citations
   Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies