Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet | IEEE Conference Publication | IEEE Xplore