Anna Lukina

Dr. rer. nat. Technische Universität Wien 2019 Austria
Dissertation: Adaptive Optimization Framework for Verification and Control of Cyber-Physical Systems
Mathematics Subject Classification: 68—Computer science

Advisor: Radu Grosu
Co-Advisor: Ezio Bartocci
Co-Advisor: Josef Widder

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 291444 for the advisor ID.