Informática
Facultad
University of Konstanz
Constanza, AlemaniaPublicaciones en colaboración con investigadores/as de University of Konstanz (3)
2022
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
Synthesis of hybrid automata with affine dynamics from time-series data
HSCC 2021 - Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (part of CPS-IoT Week)
2020
-
Locally definable subgroups of semialgebraic groups
Journal of Mathematical Logic, Vol. 20, Núm. 2