![](/img/cover-not-exists.png)
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Wongpiromsarn, Tichakorn, Topcu, Ufuk, Lamperski, AndrewYear:
2015
Language:
english
Journal:
IEEE Transactions on Automatic Control
DOI:
10.1109/TAC.2015.2511722
File:
PDF, 1.17 MB
english, 2015