Multi-Agent Planning and Execution Monitoring : Application to Highway Traffic | IEEE Conference Publication | IEEE Xplore