![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
17th RP 2023, Nice, France
- Olivier Bournez
, Enrico Formenti
, Igor Potapov
:
Reachability Problems - 17th International Conference, RP 2023, Nice, France, October 11-13, 2023, Proceedings. Lecture Notes in Computer Science 14235, Springer 2023, ISBN 978-3-031-45285-7
Invited Papers
- Bruno Martin:
Randomness Quality and Trade-Offs for CA Random String Generators. 3-12
Regular Papers
- Adrian Wurm:
Complexity of Reachability Problems in Neural Networks. 15-27 - Cinzia Di Giusto
, Davide Ferré
, Étienne Lozes
, Nicolas Nisse
:
Weakly Synchronous Systems with Three Machines Are Turing Powerful. 28-41 - Paul C. Bell
, Reino Niskanen
, Igor Potapov
, Pavel Semukhin
:
On the Identity and Group Problems for Complex Heisenberg Matrices. 42-55 - Honglu Sun
, Maxime Folschette
, Morgan Magnin
:
Reachability Analysis of a Class of Hybrid Gene Regulatory Networks. 56-69 - Thomas Brihaye
, Véronique Bruyère
, Gaspard Reghem:
Quantitative Reachability Stackelberg-Pareto Synthesis Is NEXPTIME-Complete. 70-84 - Thomas Brihaye, Aline Goeminne:
Multi-weighted Reachability Games. 85-97 - Eike Neumann:
On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions. 98-112 - Alberto Casagrande
, Carla Piazza
:
Adaptive Directions for Bernstein-Based Polynomial Set Evolution. 113-126 - Alain Finkel
, Serge Haddad
, Lina Ye
:
Introducing Divergence for Infinite Probabilistic Models. 127-140 - Stijn Bellis
, Joachim Denil
, Ramesh Krishnamurthy
, Tim Leys
, Guillermo A. Pérez
, Ritam Raha
:
A Framework for the Competitive Analysis of Model Predictive Controllers. 141-154 - Pamela Fleischmann, Sungmin Kim, Tore Koß, Florin Manea, Dirk Nowotka, Stefan Siemer, Max Wiedenhöft:
Matching Patterns with Variables Under Simon's Congruence. 155-170 - Angelo Ferrando
, Giorgio Delzanno
:
HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. 171-182 - David Auger
, Pierre Coucheney
, Loric Duhazé
, Kossi Roland Etse
:
Generalized ARRIVAL Problem for Rotor Walks in Path Multigraphs. 183-198
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.