Philipp Schlehuber-Caissier

20 papers B 2C 2Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control.
CoRR
Dylan Bellier, Gregory Faraut, Yan Monier, Philipp Schlehuber-Caissier
2025 B conf
Petri Nets and Higher-Dimensional Automata.
Petri Nets
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2025 J jnl
Petri Nets and Higher-Dimensional Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2023 B conf
Energy Büchi Problems.
FM
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
2023 — conf
Layered Controller Synthesis for Dynamic Multi-agent Systems.
FORMATS
Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier
2023 J jnl
Layered controller synthesis for dynamic multi-agent systems.
CoRR
Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier
2023 J jnl
The Mealy-machine reduction functions of Spot.
Sci. Comput. Program.
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2023 J jnl
The Temporal Logic Synthesis Format TLSF v1.2.
CoRR
Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier
2022 J jnl
Dissecting ltlsynt.
Formal Methods Syst. Des.
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 C conf
Effective Reductions of Mealy Machines.
FORTE
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 J jnl
Effective Reductions of Mealy Machines.
CoRR
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 J jnl
Energy Büchi Problems.
CoRR
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
2022 — conf
From Spot 2.0 to Spot 2.10: What's New?
CAV (2)
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
2022 J jnl
From Spot 2.0 to Spot 2.10: What's New?
CoRR
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
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2018 C conf
Computing regions of stabilizability for nonlinear control systems with input constraints.
ACC
Philipp Schlehuber-Caissier, Nicolas Perrin
2017 J jnl
Timed-automata abstraction of switched dynamical systems using control invariants.
Real Time Syst.
Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier
2016 J jnl
Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems.
Syst. Control. Lett.
Nicolas Perrin, Philipp Schlehuber-Caissier
2015 — conf
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels.
FORMATS
Patricia Bouyer, Nicolas Markey, Nicolas Perrin, Philipp Schlehuber-Caissier