Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings / / edited by Olivier Bournez, Enrico Formenti, Igor Potapov
| Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings / / edited by Olivier Bournez, Enrico Formenti, Igor Potapov |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (231 pages) |
| Disciplina | 518.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Computer science Software engineering Logic programming Algorithms Computer science - Mathematics Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Logic in AI Design and Analysis of Algorithms Mathematics of Computing |
| ISBN | 3-031-45286-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Randomness quality and trade-offs for CA random string generators -- Regular Papers -- Complexity of Reachability Problems in Neural Networks -- Weakly synchronous systems with three machines are Turing powerful -- On the Identity and Group Problems for Complex Heisenberg Matrices -- Reachability analysis of a class of hybrid gene regulatory networks -- Quantitative Reachability Stackelberg-Pareto Synthesis -- Multi-Weighted Reachability Games -- On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions -- Adaptive Directions for Bernstein-based Polynomial Set Evolution -- Introducing Divergence for Infinite Probabilistic Models -- A Framework for the Competitive Analysis of Model Predictive Controllers -- Matching Patterns with Variables Under Simon’s Congruence -- HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification -- Generalized ARRIVAL Problem for Rotor Walks in Path Multigraphs. |
| Record Nr. | UNINA-9910746959803321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
