Local startup Verne uses BAIC cars fitted with autonomous-driving software from China’s Pony AI and is backed by Croatian entrepreneur Mate Rimac, the maker of electric supercars.