Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol.

Minxuan Liu, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata

Browse the full QRS paper archive.