Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates | IEEE Conference Publication | IEEE Xplore