講演・口頭発表等

国際会議
2018年7月8日

Martingale-Based Methods for Reachability Probabilities: Excitements and Afterthoughts in Coalgebras

Coalgebra, Now @ FLoC 2018 Workshop
  • 蓮尾 一郎

記述言語
英語
会議種別
口頭発表(招待・特別)