Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions | IEEE Journals & Magazine | IEEE Xplore