Juraj Oravec
Juraj Oravec
Scientific Publications
Inproceedings
Scalable and correct by design synthesis
Méthodes computationelles
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 de l'auteur
Singapore, Singapore
Année de publication
2023
Inproceedings
Scalable and correct by design synthesis
Méthodes computationelles
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 de l'auteur
Singapore, Singapore
Année de publication
2023
