Stop the war!
Остановите войну!
for scientists:
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
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.