02985nam 22006855 450 991050640600332120251225180420.03-030-89716-810.1007/978-3-030-89716-1(CKB)5340000000068435(MiAaPQ)EBC6792461(Au-PeEL)EBL6792461(OCoLC)1281240105(DE-He213)978-3-030-89716-1(PPN)258296526(EXLCZ)99534000000006843520211025d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierReachability Problems 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings /edited by Paul C. Bell, Patrick Totzke, Igor Potapov1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (181 pages)Theoretical Computer Science and General Issues,2512-2029 ;130353-030-89715-X 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.-.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.Theoretical Computer Science and General Issues,2512-2029 ;13035Computer scienceArtificial intelligenceSoftware engineeringComputer engineeringComputer networksTheory of ComputationArtificial IntelligenceSoftware EngineeringComputer Engineering and NetworksComputer science.Artificial intelligence.Software engineering.Computer engineering.Computer networks.Theory of Computation.Artificial Intelligence.Software Engineering.Computer Engineering and Networks.004Bell Paul C.Totzke PatrickPotapov IgorMiAaPQMiAaPQMiAaPQBOOK9910506406003321Reachability Problems3573647UNINA