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 | 94 | 2022 |
Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems N Perrin, P Schlehuber-Caissier Systems & Control Letters 96, 51-59, 2016 | 61 | 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 | 26 | 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 | 12 | 2017 |
Improvements to ltlsynt F Renkin, P Schlehuber, A Duret-Lutz, A Pommellet arXiv preprint arXiv:2201.05376, 2022 | 10 | 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 | 6 | 2022 |
Dissecting ltlsynt F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Formal Methods in System Design 61 (2), 248-289, 2022 | 4 | 2022 |
Energy büchi problems S Dziadek, U Fahrenberg, P Schlehuber-Caissier International Symposium on Formal Methods, 222-239, 2023 | 3 | 2023 |
The temporal logic synthesis format tlsf v1. 2 S Jacobs, GA Perez, P Schlehuber-Caissier arXiv preprint arXiv:2303.03839, 2023 | 2 | 2023 |
ω-Regular Energy Problems S Dziadek, U Fahrenberg, P Schlehuber Formal Aspects of Computing, 2024 | | 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 | | 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 |
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 | | |