Philipp Schlehuber-Caissier

According to our database, Philipp Schlehuber-Caissier authored at least 14 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Mealy-machine reduction functions of Spot.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Sci. Comput. Program., August, 2023

The Temporal Logic Synthesis Format TLSF v1.2.

Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier

CoRR, 2023

Layered Controller Synthesis for Dynamic Multi-agent Systems.

Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

Energy Büchi Problems.

Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Dissecting ltlsynt.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Formal Methods Syst. Des., December, 2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

CoRR, 2022

Improvements to ltlsynt.

Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet

CoRR, 2022

Effective Reductions of Mealy Machines.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

From Spot 2.0 to Spot 2.10: What's New?

Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2018

Computing regions of stabilizability for nonlinear control systems with input constraints.

Philipp Schlehuber-Caissier, Nicolas Perrin

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Timed-automata abstraction of switched dynamical systems using control invariants.

Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier

Real Time Syst., 2017

2016

Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems.

Nicolas Perrin, Philipp Schlehuber-Caissier

Syst. Control. Lett., 2016

2015

Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels.

Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Automatic selection of ergonomie indicators for the design of collaborative robots: A virtual-human in the loop approach.

Pauline Maurice, Philipp Schlehuber, Vincent Padois, Yvan Measson, Philippe Bidaud

Proceedings of the 14th IEEE-RAS International Conference on Humanoid Robots, 2014