Theoretical study on stability and ion transport property with halide doping of Na3SbS4 electrolyte for all-solid-state batteries