江南交通机电KTH15本质安全型自动电话机1

 产品介绍

1、手机外壳由阻燃塑料制成，抗静电，防水、防尘、防腐蚀。防护等级:IP65

2.可调节至墙壁、地板，适用于电话或电话交换机，电话外部无部件可拆卸；

3.手机键盘密封明亮，声音清脆，可视，还有紧急呼叫、挂断电话、重拨；

4.远程通信距离有可调开关，根据电话和调度员之间的距离调整增益控制。

for the lectures given by Marta Kwiatkowska:

part 1 (Introduction + PRISM);

part 2 (Discrete-time Markov chains);

part 3 (Markov decision processes + strategy synthesis);

part 4 (LTL verification + stochastic games);

part 5 (Probabilistic timed automata).

for Markov decision processes see this tutorial paper;

for stochastic games see this paper and this tool paper;

for probabilistic timed automata see this tutorial paper