A general framework for verification and control of dynamical models via certificate synthesis.
Saved in:
| Title: | A general framework for verification and control of dynamical models via certificate synthesis. |
|---|---|
| Authors: | Edwards, Alec1, research@aleccedwards.slmail.me, Peruffo, Andrea2, Abate, Alessandro1, alessandro.abate@cs.ox.ac.uk |
| Source: | Annual Reviews in Control; 2025, Vol. 60, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 13675788 |
|---|---|
| DOI: | 10.1016/j.arcontrol.2025.101028 |
