ARTICLE
|
doi:10.20944/preprints201904.0302.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
safety verification, barrier density, switched systems
Online: 28 April 2019 (08:34:56 CEST)