Liebe Besucherinnen und Besucher,
aufgrund unseres Sommerfestes sind wir am 03. September 2026 bis 14 Uhr erreichbar. Am 04. September 2026 sind wir wieder wie gewohnt für Sie da. Vielen Dank für Ihr Verständnis.
Ihr Team von Sack Fachmedien
Lin / Zetzsche / Potapov Reachability Problems
1. Auflage 2022
ISBN: 978-3-031-19135-0
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
E-Book, Englisch, 179 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-031-19135-0
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.
Zielgruppe
Research




