Reachability Problems

15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings

Häftad, Engelska, 2021

AvPaul C. Bell,Patrick Totzke,Igor Potapov

1 149 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021. The 6 full papers presented were carefully reviewed and selected from 27 submissions.

Produktinformation

Utgivningsdatum2021-10-26
Mått155 x 235 x 11 mm
Vikt295 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor165
FörlagSpringer Nature Switzerland AG
ISBN9783030897154

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Hårdvara inom Data och it
Artificiell intelligens inom Data och it

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.-