Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13035)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: RP 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
-
Front Matter
-
Regular Papers
-
Front Matter
-
-
Back Matter
Other volumes
-
Reachability Problems
Keywords
- architecture verification and validation
- artificial intelligence
- automata theory
- computational game theory
- computational linguistics
- computational models
- embedded systems
- formal languages
- formal logic
- graph theory
- infinite state systems
- model checking
- petri nets
- software architecture
- software design
- software engineering
- software evaluation
- theoretical computer science
- verification
About this book
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. In addition, 4 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps; and new computational paradigms.
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.
Editors and Affiliations
Bibliographic Information
Book Title: Reachability Problems
Book Subtitle: 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings
Editors: Paul C. Bell, Patrick Totzke, Igor Potapov
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-89716-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-89715-4Published: 26 October 2021
eBook ISBN: 978-3-030-89716-1Published: 25 October 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 165
Number of Illustrations: 10 b/w illustrations, 6 illustrations in colour
Topics: Theory of Computation, Artificial Intelligence, Software Engineering/Programming and Operating Systems, Computer Systems Organization and Communication Networks