Safety verification of iterative algorithms over polynomial vector fields

Mardavij Roozbehani, Alexandre Megretski, Eric Feron

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Fingerprint

Dive into the research topics of 'Safety verification of iterative algorithms over polynomial vector fields'. Together they form a unique fingerprint.

Engineering

Keyphrases

Computer Science