Philipp Schlehuber-Caissier

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 15

Top Topics

Dynamical Systems

Top Venues

Publications

Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier
Layered controller synthesis for dynamic multi-agent systems. CoRR (2023)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
The Mealy-machine reduction functions of Spot. Sci. Comput. Program. 230 (2023)
Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier
Layered Controller Synthesis for Dynamic Multi-agent Systems. FORMATS (2023)
Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier
The Temporal Logic Synthesis Format TLSF v1.2. CoRR (2023)
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
Energy Büchi Problems. FM (2023)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
From Spot 2.0 to Spot 2.10: What's New? CoRR (2022)
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
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
Energy Büchi Problems. CoRR (2022)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Effective Reductions of Mealy Machines. FORTE (2022)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Effective Reductions of Mealy Machines. CoRR (2022)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Dissecting ltlsynt. Formal Methods Syst. Des. 61 (2) (2022)
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
From Spot 2.0 to Spot 2.10: What's New? CAV (2) (2022)
Philipp Schlehuber-Caissier, Nicolas Perrin
Computing regions of stabilizability for nonlinear control systems with input constraints. ACC (2018)
Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
Timed-automata abstraction of switched dynamical systems using control invariants. Real Time Syst. 53 (3) (2017)
Nicolas Perrin, Philipp Schlehuber-Caissier
Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems. Syst. Control. Lett. 96 (2016)
Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. FORMATS (2015)