Reachability Problems
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings
Published on 12. October 2022
Book
Paperback/Softback
XLIII, 179 pages
978-3-031-19134-3 (ISBN)
Description
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.
More details
Series
Edition
1st ed. 2022
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
7 farbige Abbildungen, 21 s/w Abbildungen
XLIII, 179 p. 28 illus., 7 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 13 mm
Weight
347 gr
ISBN-13
978-3-031-19134-3 (9783031191343)
DOI
10.1007/978-3-031-19135-0
Schweitzer Classification
Other editions
Additional editions
Anthony W. Lin | Georg Zetzsche | Igor Potapov
Reachability Problems
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings
E-Book
10/2022
Springer
€58.84
Available for download