Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control.

Philipp Schlehuber-Caissier Philipp Schlehuber

Dylan Bellier Gregory Faraut Yan Monier Philipp Schlehuber-Caissier Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control. 2026 March abs/2603.21742 CoRR https://doi.org/10.48550/arXiv.2603.21742 db/journals/corr/corr2603.html#abs-2603-21742 streams/journals/corr

Sven Dziadek Uli Fahrenberg Philipp Schlehuber ω-Regular Energy Problems. 4:1-4:30 2025 37 Formal Aspects Comput. 1 https://doi.org/10.1145/3678265 db/journals/fac/fac37.html#DziadekFS25

Amazigh Amrane Hugo Bazille Uli Fahrenberg Loïc Hélouët Philipp Schlehuber-Caissier Petri Nets and Higher-Dimensional Automata. 18-40 2025 Petri Nets https://doi.org/10.1007/978-3-031-94634-9_2 conf/apn/2025 db/conf/apn/pn2025.html#AmraneBFHS25 streams/conf/apn

Amazigh Amrane Hugo Bazille Uli Fahrenberg Loïc Hélouët Philipp Schlehuber-Caissier Petri Nets and Higher-Dimensional Automata. 2025 February abs/2502.02354 CoRR https://doi.org/10.48550/arXiv.2502.02354 db/journals/corr/corr2502.html#abs-2502-02354 streams/journals/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 0001 Felix Klein 0001 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. 551-567 2024 October 26 Int. J. Softw. Tools Technol. Transf. 5 https://doi.org/10.1007/s10009-024-00754-1 db/journals/sttt/sttt26.html#JacobsPABCCDDDFFKKLMMPR24 streams/journals/sttt

Florian Renkin Philipp Schlehuber-Caissier Alexandre Duret-Lutz Adrien Pommellet The Mealy-machine reduction functions of Spot. 102995 2023 August 230 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2023.102995 db/journals/scp/scp230.html#RenkinSDP23

Sven Dziadek Uli Fahrenberg Philipp Schlehuber-Caissier Energy Büchi Problems. 222-239 2023 FM https://doi.org/10.1007/978-3-031-27481-7_14 conf/fm/2023 db/conf/fm/fm2023.html#DziadekFS23 Emily Clement Nicolas Perrin-Gilbert Philipp Schlehuber-Caissier Layered Controller Synthesis for Dynamic Multi-agent Systems. 50-68 2023 FORMATS https://doi.org/10.1007/978-3-031-42626-1_4 conf/formats/2023 db/conf/formats/formats2023.html#ClementPS23

Swen Jacobs Guillermo A. Pérez Philipp Schlehuber-Caissier The Temporal Logic Synthesis Format TLSF v1.2. 2023 abs/2303.03839 CoRR https://doi.org/10.48550/arXiv.2303.03839 db/journals/corr/corr2303.html#abs-2303-03839

Emily Clement Nicolas Perrin-Gilbert Philipp Schlehuber-Caissier Layered controller synthesis for dynamic multi-agent systems. 2023 abs/2307.06758 CoRR https://doi.org/10.48550/arXiv.2307.06758 db/journals/corr/corr2307.html#abs-2307-06758

Florian Renkin Philipp Schlehuber-Caissier Alexandre Duret-Lutz Adrien Pommellet Dissecting ltlsynt. 248-289 2022 December 61 Formal Methods Syst. Des. 2 https://doi.org/10.1007/s10703-022-00407-6 db/journals/fmsd/fmsd61.html#RenkinSDP22

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? 174-187 2022 CAV (2) https://doi.org/10.1007/978-3-031-13188-2_9 conf/cav/2022-2 db/conf/cav/cav2022-2.html#Duret-LutzRCRAS22 Florian Renkin Philipp Schlehuber-Caissier Alexandre Duret-Lutz Adrien Pommellet Effective Reductions of Mealy Machines. 114-130 2022 FORTE https://doi.org/10.1007/978-3-031-08679-3_8 conf/forte/2022 db/conf/forte/forte2022.html#RenkinSDP22

Florian Renkin Philipp Schlehuber Alexandre Duret-Lutz Adrien Pommellet Improvements to ltlsynt. 2022 abs/2201.05376 CoRR https://arxiv.org/abs/2201.05376 db/journals/corr/corr2201.html#abs-2201-05376

Sven Dziadek Uli Fahrenberg Philipp Schlehuber-Caissier Energy Büchi Problems. 2022 abs/2205.04392 CoRR https://doi.org/10.48550/arXiv.2205.04392 db/journals/corr/corr2205.html#abs-2205-04392

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 0001 Felix Klein 0001 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. 2022 abs/2206.00251 CoRR https://doi.org/10.48550/arXiv.2206.00251 db/journals/corr/corr2206.html#abs-2206-00251

Florian Renkin Philipp Schlehuber-Caissier Alexandre Duret-Lutz Adrien Pommellet Effective Reductions of Mealy Machines. 2022 abs/2206.10228 CoRR https://doi.org/10.48550/arXiv.2206.10228 db/journals/corr/corr2206.html#abs-2206-10228

Philipp Schlehuber-Caissier Nicolas Perrin 0001 Computing regions of stabilizability for nonlinear control systems with input constraints. 2869-2876 2018 ACC https://doi.org/10.23919/ACC.2018.8430798 conf/amcc/2018 db/conf/amcc/acc2018.html#Schlehuber-Caissier18

Patricia Bouyer Nicolas Markey Nicolas Perrin 0001 Philipp Schlehuber-Caissier Timed-automata abstraction of switched dynamical systems using control invariants. 327-353 2017 53 Real Time Syst. 3 https://doi.org/10.1007/s11241-016-9262-3 db/journals/rts/rts53.html#BouyerMPS17

Nicolas Perrin 0001 Philipp Schlehuber-Caissier Fast diffeomorphic matching to learn globally asymptotically stable nonlinear dynamical systems. 51-59 2016 96 Syst. Control. Lett. https://doi.org/10.1016/j.sysconle.2016.06.018 db/journals/scl/scl96.html#PerrinS16

Patricia Bouyer Nicolas Markey Nicolas Perrin 0001 Philipp Schlehuber-Caissier Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels. 60-75 2015 FORMATS https://doi.org/10.1007/978-3-319-22975-1_5 conf/formats/2015 db/conf/formats/formats2015.html#BouyerMPS15 Pauline Maurice Philipp Schlehuber Vincent Padois Yvan Measson Philippe Bidaud Automatic selection of ergonomie indicators for the design of collaborative robots: A virtual-human in the loop approach. 801-808 2014 Humanoids https://doi.org/10.1109/HUMANOIDS.2014.7041455 conf/humanoids/2014 db/conf/humanoids/humanoids2014.html#MauriceSPMB14 Remco Abraham Alexandre Gbaguidi Aisse Amazigh Amrane Hugo Bazille Dylan Bellier Philippe Bidaud Patricia Bouyer Véronique Bruyère Michaël Cadilhac Emily Clement Maximilien Colange Charly Delfosse Tom van Dijk Jérôme Dubois Alexandre Duret-Lutz Sven Dziadek Uli Fahrenberg Gregory Faraut Peter Faymonville Bernd Finkbeiner Clément Gillard Loïc Hélouët Swen Jacobs Ayrat Khalimov 0001 Felix Klein 0001 Henrich Lauko Michael Luttenberger Nicolas Markey Antoine Martin Pauline Maurice Yvan Measson Thomas Medioni Klara J. Meyer Thibaud Michaud Yan Monier Vincent Padois Guillermo A. Pérez Nicolas Perrin-GilbertNicolas Perrin 0001 Adrien Pommellet Etienne Renault Florian Renkin Mouhammad Sakr Salomon Sickert Gaëtan Staquet Clément Tamines Leander Tentrup Adam Walker