...
机译:具有mu-operator的连续时间随机逻辑的Hennessy-Milner等价
Software Technology, University of Dortmund, Germany;
applications of universal algebra in computer science; logic in computer science; models and methods for concurrent and distributed computing; stochastic systems; general;
机译:连续随机逻辑表征了连续时间马尔可夫过程的双仿真
机译:连续时间随机系统的确定性等价设计
机译:表征非确定性和随机系统行为等效的模态逻辑研究
机译:通过双仿真等效性对连续时间随机线性控制系统进行模型简化
机译:在随机和连续空间和时间的随机优势选择,随机和确定性波动性与恒定风险厌恶的定价
机译:随机连续时间布尔模型的精确求解和灵敏度分析
机译:使用mu-operator进行连续时间随机逻辑的Hennessy-Milner等价
机译:具有周期分量的时间序列确定性和随机模型的谱等价性。