TY  - RPRT
TI  - Safety Verification for Distributed Parameter Systems Using Barrier Functionals
AU  - Mohamadreza Ahmadi
AU  - Giorgio Valmorbida
AU  - Antonis Papachristodoulou
PY  - 2017
UR  - https://arxiv.org/abs/1708.03219
ID  - 1708.03219
ER  -