Reachability Problems

Explore the cutting-edge research in "Reachability Problems," authored by Anthony W. Lin and published by Springer International Publishing AG in 2022. This 1st edition, comprising 179 pages, presents the refereed proceedings from the 15th International Conference on Reachability Problems (RP 2022) held in Kaiserslautern, Germany. Within these pages, you will find eight meticulously reviewed papers selected from a competitive pool of 14 submissions, addressing vital topics such as reachability for infinite state systems. Whether you're a researcher, practitioner, or enthusiast in the field, this book offers invaluable insights into the latest advancements and methodologies in reachability problems. Don't miss the opportunity to enhance your understanding of this essential area of study!