@article{201904.0302,
	doi = {10.20944/preprints201904.0302.v1},
	url = {https://doi.org/10.20944/preprints201904.0302.v1},
	year = 2019,
	month = {April},
	publisher = {Preprints},
	author = {Aysegul Kıvılcım and Ozkan Karabacak and Rafael Wisniewski},
	title = {Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density},
	journal = {Preprints}
}