RP

Keyphrases

Publications

2023

Bruno Martin
Randomness Quality and Trade-Offs for CA Random String Generators. RP (2023)
Cinzia Di Giusto, Davide Ferré, Étienne Lozes, Nicolas Nisse
Weakly Synchronous Systems with Three Machines Are Turing Powerful. RP (2023)
Thomas Brihaye, Véronique Bruyère, Gaspard Reghem
Quantitative Reachability Stackelberg-Pareto Synthesis Is NEXPTIME-Complete. RP (2023)
Alberto Casagrande, Carla Piazza
Adaptive Directions for Bernstein-Based Polynomial Set Evolution. RP (2023)
Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft
Matching Patterns with Variables Under Simon's Congruence. RP (2023)
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin
On the Identity and Group Problems for Complex Heisenberg Matrices. RP (2023)
Alain Finkel, Serge Haddad, Lina Ye
Introducing Divergence for Infinite Probabilistic Models. RP (2023)
Honglu Sun, Maxime Folschette, Morgan Magnin
Reachability Analysis of a Class of Hybrid Gene Regulatory Networks. RP (2023)
Angelo Ferrando, Giorgio Delzanno
HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. RP (2023)
David Auger, Pierre Coucheney, Loric Duhazé, Kossi Roland Etse
Generalized ARRIVAL Problem for Rotor Walks in Path Multigraphs. RP (2023)
Thomas Brihaye, Aline Goeminne
Multi-weighted Reachability Games. RP (2023)
Eike Neumann
On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions. RP (2023)
Adrian Wurm
Complexity of Reachability Problems in Neural Networks. RP (2023)
Stijn Bellis, Joachim Denil, Ramesh Krishnamurthy, Tim Leys, Guillermo A. Pérez, Ritam Raha
A Framework for the Competitive Analysis of Model Predictive Controllers. RP (2023)

volume 14235, 2023

Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings RP 14235 (2023)

2022

volume 13608, 2022

Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings RP 13608 (2022)

2021

volume 13035, 2021

Reachability Problems - 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings RP 13035 (2021)

2020

volume 12448, 2020

Reachability Problems - 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings RP 12448 (2020)

volume 11674, 2019

Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings RP 11674 (2019)