Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12448)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: RP 2020.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 papers)
-
Invited Papers
-
Regular Papers
Other volumes
-
Reachability Problems
Keywords
About this book
The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. The papers 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.
Editors and Affiliations
Bibliographic Information
Book Title: Reachability Problems
Book Subtitle: 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings
Editors: Sylvain Schmitz, Igor Potapov
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-61739-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-61738-7Published: 13 October 2020
eBook ISBN: 978-3-030-61739-4Published: 15 October 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXI, 165
Number of Illustrations: 113 b/w illustrations, 13 illustrations in colour
Topics: Theory of Computation, Mathematics of Computing, Artificial Intelligence, Computer Systems Organization and Communication Networks, Data Structures and Information Theory, Information Systems and Communication Service