PyCATSHOO的形式化与语义：一种分布式随机混合自动机模拟器

Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata

• Loïc Desgeorges 通讯
• Pierre-Yves Piriou
• Thibault Lemattre
• Hassane Chraïbi