首页 /研究 /A formal mathematical framework for modeling probabilistic hybrid systems
OTHER

A formal mathematical framework for modeling probabilistic hybrid systems

Robert St‐Aubin, Joel Friedman, Alan K. Mackworth

发表年份
2007
引用次数
7

关键词

Computer scienceProbabilistic logicHybrid systemDynamical systems theoryTheoretical computer scienceAsynchronous communicationSemantics (computer science)Complex systemArtificial intelligenceProgramming language

相关论文

查看 OTHER 分类全部论文