BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
eBook
Reachability Problems
15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings
Springer International Publishing
ISBN 978-3-030-89716-1
Standardpreis
Bibliografische Daten
eBook. PDF
2021
XVIII, 165 p. 16 illus., 6 illus. in color..
In englischer Sprache
Umfang: 165 S.
Verlag: Springer International Publishing
ISBN: 978-3-030-89716-1
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Theoretical Computer Science and General Issues Lecture Notes in Computer Science
Produktbeschreibung
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021.
The 6 full papers presented were carefully reviewed and selected from 27 submissions. In addition, 4 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.
Chapter 'Recent Advances on Reachability Problems for Valence Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
Rezensionen
