| From spot 2.0 to spot 2.10: What’s new? A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ... International Conference on Computer Aided Verification, 174-187, 2022 | 156 | 2022 |
| Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems N Perrin, P Schlehuber-Caissier Systems & Control Letters 96, 51-59, 2016 | 74 | 2016 |
| The reactive synthesis competition (SYNTCOMP): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International journal on software tools for technology transfer 26 (5), 551-567, 2024 | 39 | 2024 |
| Automatic selection of ergonomie indicators for the design of collaborative robots: A virtual-human in the loop approach P Maurice, P Schlehuber, V Padois, Y Measson, P Bidaud 2014 IEEE-RAS International Conference on Humanoid Robots, 801-808, 2014 | 20 | 2014 |
| Timed-automata abstraction of switched dynamical systems using control funnels P Bouyer, N Markey, N Perrin, P Schlehuber-Caissier International conference on formal modeling and analysis of timed systems, 60-75, 2015 | 13 | 2015 |
| Dissecting ltlsynt F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Formal Methods in System Design 61 (2), 248-289, 2022 | 12 | 2022 |
| Improvements to ltlsynt F Renkin, P Schlehuber, A Duret-Lutz, A Pommellet arXiv preprint arXiv:2201.05376, 2022 | 11 | 2022 |
| Timed-automata abstraction of switched dynamical systems using control invariants P Bouyer, N Markey, N Perrin, P Schlehuber-Caissier Real-Time Systems 53 (3), 327-353, 2017 | 11 | 2017 |
| The reactive synthesis competition (SYNTCOMP): 2018-2021. CoRR abs/2206.00251 (2022) S Jacobs, GA Pérez, R Abraham, V Bruyère, M Cadilhac, M Colange, ... | 11 | |
| Effective reductions of Mealy machines F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet International Conference on Formal Techniques for Distributed Objects …, 2022 | 10 | 2022 |
| The temporal logic synthesis format tlsf v1. 2 S Jacobs, GA Perez, P Schlehuber-Caissier arXiv preprint arXiv:2303.03839, 2023 | 3 | 2023 |
| Energy büchi problems S Dziadek, U Fahrenberg, P Schlehuber-Caissier International Symposium on Formal Methods, 222-239, 2023 | 3 | 2023 |
| ω-Regular Energy Problems S Dziadek, U Fahrenberg, P Schlehuber Formal Aspects of Computing 37 (1), 1-30, 2024 | 2 | 2024 |
| Higher-dimensional timed automata for real-time concurrency A Amrane, H Bazille, E Clement, U Fahrenberg, P Schlehuber-Caissier arXiv e-prints, arXiv: 2401.17444, 2024 | 2 | 2024 |
| Layered controller synthesis for dynamic multi-agent systems E Clement, N Perrin-Gilbert, P Schlehuber-Caissier International Conference on Formal Modeling and Analysis of Timed Systems, 50-68, 2023 | 2 | 2023 |
| Petri nets and higher-dimensional automata A Amrane, H Bazille, U Fahrenberg, L Hélouët, P Schlehuber-Caissier International Conference on Applications and Theory of Petri Nets and …, 2025 | 1 | 2025 |
| Towards an efficient conversion of Petri nets into Higher Dimensional Automata Amazigh A Amrane, H Bazille, T Fragnaud, P Schlehuber-Caissier Modélisation des Systèmes Réactifs, 2025 | | 2025 |
| The Mealy-machine reduction functions of Spot F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Science of Computer Programming 230, 102995, 2023 | | 2023 |
| Contributions to robotic control design with formal safety and stability guarantees P Schlehuber-Caissier Sorbonne Université, 2018 | | 2018 |
| Computing regions of stabilizability for nonlinear control systems with input constraints P Schlehuber-Caissier, N Perrin 2018 Annual American Control Conference (ACC), 2869-2876, 2018 | | 2018 |
Nicolas Perrin-GilbertISIR - CNRS UMR7222Verified email at isir.upmc.fr
