Jeff Forbes Timothy Huang Keiji Kanazawa Stuart J. Russell The BATmobile: Towards a Bayesian Automated Taxi. 1878-1885 1995 IJCAI db/conf/ijcai/ijcai95.html#ForbesHKKR95