Michal Kvasnica
Michal Kvasnica
Scientific Publications
Inproceedings
Scalable and correct by design synthesis
Computergestützte Methoden
A Generalized Stopping Criterion for Real-Time MPC with Guaranteed Stability
Booktitle
Proceedings of the 2023 62nd IEEE Conference on Decision and Control (CDC)
Adresse des Autors
Singapore, Singapore
Erscheinungsjahr
2023
Inproceedings
Scalable and correct by design synthesis
Computergestützte Methoden
A Generalized Stopping Criterion for Real-Time MPC with Guaranteed Stability
Booktitle
Proceedings of the 2023 62nd IEEE Conference on Decision and Control (CDC)
Adresse des Autors
Singapore, Singapore
Erscheinungsjahr
2023
