Florian Renkin

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 10

Top Topics

Decomposition Methods

Practical Application

Top Venues

Sci. Comput. Program.

Publications

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
The Mealy-machine reduction functions of Spot. Sci. Comput. Program. 230 (2023)
Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet
Improvements to ltlsynt. CoRR (2022)
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)
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)
Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert
Practical Applications of the Alternating Cycle Decomposition. TACAS (2) (2022)
Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
Practical "Paritizing" of Emerson-Lei Automata. ATVA (2020)