Live #788978700

00:00
  • Level 12
  • Fanned 3
健康な者が根性を出せば確率微分方程式が解けるという主張を,ファインマン・ガッツの公式と呼ぶ / main subject: model checking for stochastic systems