| From spot 2.0 to spot 2.10: what’s new? A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ... International Conference on Computer Aided Verification, 174-187, 2022 | 94 | 2022 |
| The reactive synthesis competition (syntcomp): 2018–2021 S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... International Journal on Software Tools for Technology Transfer, 1-17, 2024 | 26 | 2024 |
| Practical “paritizing” of Emerson-Lei automata F Renkin, A Duret-Lutz, A Pommellet International Symposium on Automated Technology for Verification and …, 2020 | 22 | 2020 |
| Practical applications of the alternating cycle decomposition A Casares, A Duret-Lutz, KJ Meyer, F Renkin, S Sickert International Conference on Tools and Algorithms for the Construction and …, 2022 | 16 | 2022 |
| Improvements to ltlsynt F Renkin, P Schlehuber, A Duret-Lutz, A Pommellet arXiv preprint arXiv:2201.05376, 2022 | 10 | 2022 |
| Effective reductions of Mealy machines F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet International Conference on Formal Techniques for Distributed Objects …, 2022 | 6 | 2022 |
| Dissecting ltlsynt F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Formal Methods in System Design 61 (2), 248-289, 2022 | 4 | 2022 |
| Transformations d’ω-automates pour la synthese de contrôleurs réactifs F Renkin Ph. D. thesis, Sorbonne University, Paris, France (Oct. 2022), 2022 | 1 | 2022 |
| The Mealy-machine reduction functions of Spot F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Science of Computer Programming 230, 102995, 2023 | | 2023 |
| Transformations d’ω-automates pour la synthèse de systèmes réactifs F Renkin Sorbonne Université, 2022 | | 2022 |
| ltlsynt (Spot 2.9+) F Renkin, A Duret-Lutz, A Pommellet, P Schlehuber | | |
