Automata theory meets barrier certificates: temporal logic verification of nonlinear systems. (English) Zbl 1359.68200
Editorial remark: No review copy delivered.
MSC:
68Q60 | Specification and verification (program logics, model checking, etc.) |
34A34 | Nonlinear ordinary differential equations and systems |
68Q45 | Formal languages and automata |