| 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 | 50 | 2022 |
| The reactive synthesis competition (SYNTCOMP): 2018-2021 S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... arXiv preprint arXiv:2206.00251, 2022 | 23 | 2022 |
| Practical “paritizing” of Emerson-Lei automata F Renkin, A Duret-Lutz, A Pommellet International Symposium on Automated Technology for Verification and …, 2020 | 18 | 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 | 14 | 2022 |
| Improvements to ltlsynt F Renkin, P Schlehuber, A Duret-Lutz, A Pommellet arXiv preprint arXiv:2201.05376, 2022 | 8 | 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 | 4 | 2022 |
| Dissecting ltlsynt F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet Formal Methods in System Design 61 (2), 248-289, 2022 | 2 | 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 | | |
