A Scenario Approach for Synthesizing k-Inductive Barrier Certificates | IEEE Journals & Magazine | IEEE Xplore