汇报内容

Reo的ppt汇报，ppt附在文章末端。

Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections论文主讲两部分，一个是交叉控制器{进行广播，将申请的资源给予给其他车，其中其他车并不理会较自己远的范围的车辆信息，对比优先级，返回no信息等}，另一个是辅助控制器，引入了优先级的概念（若被拒绝了，则增加优先级）

导师反馈内容

Reo的规范化模块化能否做？怎么做？如何描述车道间车辆转向之类的？(下周看什么？忘了。。。。)