Dataset - CKAN

Techniques for the formal analysis of non-linear dynamical systems

In this thesis, we presented our contributions to the formal analysis of dynamical systems. We focused on the problem of efficiently computing an accurate...
- HTML

You can also access this registry using the API (see API Docs).