Three men who killed eight people in 2017 were lawfully shot dead by police, an inquest concludes.