Progress and Challenges in Kinetic Plasma Modeling for High Power Microwave Devices | IEEE Conference Publication | IEEE Xplore