Publications en collaboration avec des chercheurs 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