Control in a data rich world
Scalable and correct by design synthesis
Methodische Grundlagen
Computergestützte Methoden
Hinweise
PRJ;Andreas Krause,Colin Jones,RG;Ferrari-trecate group,Jones group,OA,DOI: 10.48550/arXiv.2311.03197,http://arxiv.org/abs/2311.03197v4;Website