该论文提出了一种使用概率计算树逻辑规范的方法来综合 Markov 跳变线性系统的控制器。该方法通过采样技术从场景方法中计算转换概率的区间，生成 MJLS 的概率上合理的近似，并将该近似评估到实际的温度控制和空中飞行器交付问题等多个基准测试问题中。