Reachability Problems

Discover the compelling world of reachability with "Reachability Problems" by Emmanuel Filiot, published by Springer Nature Switzerland AG in 2019. This scholarly work represents the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium. Within its 233 pages, you'll find 14 meticulously reviewed papers derived from 26 submissions, delving into crucial topics like reachability for infinite state systems.

Each paper offers insightful discussions and innovative solutions, making this book a valuable resource for researchers and professionals interested in automated verification and system analysis. Whether you're deepening your understanding of reachability or simply looking to stay updated with the latest developments in the field, "Reachability Problems" is a must-have addition to your library. Don’t miss the chance to explore the important findings presented in this essential 2019 edition.