A Formal Approach to Autonomous Vehicle Coordination
You are here
| Title | A Formal Approach to Autonomous Vehicle Coordination |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Asplund M, Manzoor A, Bouroche M, Clarke S, Cahill V |
| Conference Name | 18th International Symposium on Formal Methods (FM)18th International Symposium on Formal Methods (FM) |
| Date Published | 2012 |
| Conference Location | Paris, France |
| URL | http://ulir.ul.ie/handle/10344/2540 |
