Reachability Problems

Explore the intricate world of reachability in "Reachability Problems" by Mikolai Bojanczyk, published by Springer International Publishing AG in 2015. This comprehensive volume is the refereed proceedings of the 9th International Workshop on Reachability Problems, held in Warsaw, Poland, showcasing groundbreaking research and innovative ideas from the field. With a total of 179 pages, this book delves into various critical aspects of reachability in infinite state systems, including dynamics and hybrid systems. Scholars and practitioners interested in the intersections of computer science, mathematics, and theoretical frameworks will find valuable insights and discussions within these pages. Join the discourse and arm yourself with knowledge that pushes the boundaries of current understanding in reachability theory. Don't miss the opportunity to add this essential resource to your collection!