Publicaciones en colaboración con investigadores/as de University of Konstanz (3)

2022

  1. Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. 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

  1. Locally definable subgroups of semialgebraic groups

    Journal of Mathematical Logic, Vol. 20, Núm. 2