| 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 | 80 | 2022 |
| Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems N Perrin, P Schlehuber-Caissier Systems & Control Letters 96, 51-59, 2016 | 59 | 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, 1-17, 2024 | 24 | 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 | 18 | 2014 |
| Timed-automata abstraction of switched dynamical systems using control funnels P Bouyer, N Markey, N Perrin, P Schlehuber-Caissier Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015 | 14 | 2015 |
| Timed-automata abstraction of switched dynamical systems using control invariants P Bouyer, N Markey, N Perrin, P Schlehuber-Caissier Real-Time Systems 53, 327-353, 2017 | 11 | 2017 |
| Improvements to ltlsynt F Renkin, P Schlehuber, A Duret-Lutz, A Pommellet arXiv preprint arXiv:2201.05376, 2022 | 9 | 2022 |
| Effective reductions of Mealy machines F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet International Conference on Formal Techniques for Distributed Objects …, 2022 | 5 | 2022 |
| Energy büchi problems S Dziadek, U Fahrenberg, P Schlehuber-Caissier International Symposium on Formal Methods, 222-239, 2023 | 3 | 2023 |
| Dissecting ltlsynt F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Formal Methods in System Design 61 (2), 248-289, 2022 | 3 | 2022 |
| The temporal logic synthesis format tlsf v1. 2 S Jacobs, GA Perez, P Schlehuber-Caissier arXiv e-prints, arXiv: 2303.03839, 2023 | 2 | 2023 |
| 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 | | 2023 |
| 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 |
| ω-Regular Energy Problems S Dziadek, U Fahrenberg, P Schlehuber Formal Aspects of Computing, 2022 | | 2022 |
| 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 |
| ltlsynt (Spot 2.9+) F Renkin, A Duret-Lutz, A Pommellet, P Schlehuber | | |
| Energy Problems in Finite and Timed Automata with Büchi Conditions P Schlehuber-Caissier | | |
| Energy Büchi Problems P Schlehuber-Caissier AFADL 2023, 42, 0 | | |
| From Spot 2.0 to Spot 2.10: What’s New? P Schlehuber-Caissier, T Medioni, A Martin, J Dubois, C Gillard, H Lauko | | |
Nicolas Perrin-GilbertISIR - CNRS UMR7222Adresse e-mail validée de isir.upmc.fr
