Reactive and Safe Road User Simulations using Neural Barrier Certificates | IEEE Conference Publication | IEEE Xplore