Converse Barrier Certificate Theorems

Rafael Wisniewski, Christoffer Sloth

Research output: Contribution to journal › Journal article › Research › peer-review

42 Citations (Scopus)

1 results

Filter

Finished
CodeMe: CodeMe - Computer Aided Design Methods for Industrial Automation
Wisniewski, R. & Sloth, C.
01/08/2014 → 31/10/2018
Project: Research