1 option
Reachability Problems : 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings / edited by Paul C. Bell, Patrick Totzke, Igor Potapov.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 13035
- Theoretical Computer Science and General Issues, 2512-2029 ; 13035
- Language:
- English
- Subjects (All):
- Computer science.
- Artificial intelligence.
- Software engineering.
- Computer engineering.
- Computer networks.
- Theory of Computation.
- Artificial Intelligence.
- Software Engineering.
- Computer Engineering and Networks.
- Local Subjects:
- Theory of Computation.
- Artificial Intelligence.
- Software Engineering.
- Computer Engineering and Networks.
- Physical Description:
- 1 online resource (XVIII, 165 pages) : 16 illustrations, 6 illustrations in color.
- Edition:
- 1st ed. 2021.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2021.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- 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.-.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-89716-1
- 9783030897161
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.