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 |
