CodeMe - Computer Aided Design Methods for Industrial Automation

Wisniewski, Rafal (Project Participant)
Sloth, Christoffer (Project Participant)

6 Article in proceeding
1 Journal article
1 Conference article in Journal

1 results

Filter

2016
Converse Barrier Certificate Theorems
Wisniewski, R. & Sloth, C., May 2016, In: I E E E Transactions on Automatic Control. 61, 5, p. 1356-1361
Research output: Contribution to journal › Journal article › Research › peer-review
36 Citations (Scopus)