Anna Lukina
Dr. rer. nat. Technische Universität Wien 2019
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.