TY  - RPRT
TI  - A hybrid barrier certificate approach to satisfy linear temporal logic specifications
AU  - Andrea Bisoffi
AU  - Dimos V. Dimarogonas
PY  - 2020
DO  - 10.23919/acc.2018.8430795
UR  - https://arxiv.org/abs/2011.11464
ID  - 2011.11464
ER  -