Reachability Problems
Author | : Anthony W. Lin |
Publisher | : Springer Nature |
Total Pages | : 215 |
Release | : 2022-10-12 |
ISBN-10 | : 9783031191350 |
ISBN-13 | : 3031191358 |
Rating | : 4/5 (358 Downloads) |
Download or read book Reachability Problems written by Anthony W. Lin and published by Springer Nature. This book was released on 2022-10-12 with total page 215 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022. The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 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.