Modeling sprite streamer initiation from an unstable sprite halo front | IEEE Conference Publication | IEEE Xplore