共 50 条
- [34] A Higher-Order Language for Markov Kernels and Linear Operators FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, 2023, 13992 : 89 - 112
- [40] Communicating piecewise deterministic Markov processes STOCHASTIC HYBRID SYSTEMS: THEORY AND SAFETY CRITICAL APPLICATIONS, 2006, 337 : 65 - 104