Follow
Philipp Schlehuber-Caissier
Philipp Schlehuber-Caissier
Associate Professor (Enseignant-Chercheur), LRE, EPITA
Verified email at epita.fr - Homepage
Title
Cited by
Cited by
Year
Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems
N Perrin, P Schlehuber-Caissier
Systems & Control Letters 96, 51-59, 2016
502016
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
372022
The reactive synthesis competition (syntcomp): 2018-2021
S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
arXiv preprint arXiv:2206.00251, 2022
202022
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
162014
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
132015
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
112017
Effective Reductions of Mealy Machines
F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet
International Conference on Formal Techniques for Distributed Objects …, 2022
42022
Dissecting ltlsynt
F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet
Formal Methods in System Design, 1-42, 2023
12023
The Temporal Logic Synthesis Format TLSF v1. 2
S Jacobs, GA Perez, P Schlehuber-Caissier
arXiv preprint arXiv:2303.03839, 2023
12023
Energy Büchi Problems
S Dziadek, U Fahrenberg, P Schlehuber-Caissier
International Symposium on Formal Methods, 222-239, 2023
12023
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, 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
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
The system can't perform the operation now. Try again later.
Articles 1–16