Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist.

Guillaume Dupont, Yamine At Ameur, Marc Pantel, Neeraj Kumar Singh

Browse the full MEDI paper archive.