Vai al contenuto principale della pagina
Titolo: | Reachability Problems [[electronic resource] ] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / / edited by Paul C. Bell, Patrick Totzke, Igor Potapov |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Edizione: | 1st ed. 2021. |
Descrizione fisica: | 1 online resource (181 pages) |
Disciplina: | 004 |
Soggetto topico: | Computer science |
Artificial intelligence | |
Software engineering | |
Computer engineering | |
Computer networks | |
Theory of Computation | |
Artificial Intelligence | |
Software Engineering | |
Computer Engineering and Networks | |
Persona (resp. second.): | BellPaul C. |
TotzkePatrick | |
PotapovIgor | |
Nota di contenuto: | Invited Papers -- Quantitative vs. Weighted Automata -- Theorem Proving Using Clausal Resolution: From Past to Present -- Population Protocols: Beyond Runtime Analysis -- Recent Advances on Reachability Problems for Valence Systems (Invited Talk) -- Regular Papers -- Improvements in Unfolding of Colored Petri Nets -- Reachability of weakly nonlinear systems using Carleman linearization -- Continued Fraction approach to Gauss-Reduction theory -- Absent Subsequences in Words -- Minimal Number of Calls in Propositional Protocols -- Reachability Is NP-Complete Even for the Simplest Neural Networks.-. |
Sommario/riassunto: | Chapter ‘Recent Advances on Reachability Problems for Valence Systems’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. |
Titolo autorizzato: | Reachability Problems |
ISBN: | 3-030-89716-8 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996464496903316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |