المؤلفون: Pranger, Stefan, Konighofer, Bettina, Tappler, Martin, Deixelberger, Martin, Jansen, Nils, Bloem, Roderick

المصدر: 2021 American Control Conference (ACC) American Control Conference (ACC), 2021. :3467-3474 May, 2021

Relation: 2021 American Control Conference (ACC)

المؤلفون: Pranger, Stefan, Könighofer, Bettina, Tappler, Martin, Deixelberger, Martin, Jansen, Nils, Bloem, Roderick

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2010.03842