|
![]() |
|||
|
||||
OverviewThis book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024. The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length. The contributions in these proceedings cover topics from computability and reachability; automata and complexity; linear systems and recurrences; and games and abstractions. Full Product DetailsAuthor: Laura Kovács , Ana SokolovaPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 2024 ed. Volume: 15050 ISBN: 9783031726200ISBN 10: 3031726200 Pages: 239 Publication Date: 20 September 2024 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |