Follow
Philipp Schlehuber-Caissier
Philipp Schlehuber-Caissier
Associate Professor (Maître de Conférences), RST, Télécom SudParis
Verified email at telecom-sudparis.eu
Title
Cited by
Cited by
Year
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
942022
Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems
N Perrin, P Schlehuber-Caissier
Systems & Control Letters 96, 51-59, 2016
612016
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
262024
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
182014
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
142015
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
122017
Improvements to ltlsynt
F Renkin, P Schlehuber, A Duret-Lutz, A Pommellet
arXiv preprint arXiv:2201.05376, 2022
102022
Effective reductions of Mealy machines
F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet
International Conference on Formal Techniques for Distributed Objects …, 2022
62022
Dissecting ltlsynt
F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet
Formal Methods in System Design 61 (2), 248-289, 2022
42022
Energy büchi problems
S Dziadek, U Fahrenberg, P Schlehuber-Caissier
International Symposium on Formal Methods, 222-239, 2023
32023
The temporal logic synthesis format tlsf v1. 2
S Jacobs, GA Perez, P Schlehuber-Caissier
arXiv preprint arXiv:2303.03839, 2023
22023
ω-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
The system can't perform the operation now. Try again later.
Articles 1–20