Keyword:closed-loop

Publications
ARCH-COMP25 Repeatability Evaluation Report Tobias Ladner In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Artificial Intelligence improving life of type 1 diabetes Bogdan-Petru Butunoi EasyChair Preprint 2023
A Closed Loop See Water Air Conditioning Alessio Guarino and Bruno Garnier EasyChair Preprint 860