Reachability Problems [electronic resource] : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings / edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov.
Contributor(s): Lin, Anthony W [editor.]
| Zetzsche, Georg [editor.] | Potapov, Igor [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Lecture Notes in Computer Science: 13608Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Edition: 1st ed. 2022.Description: XLIII, 179 p. 28 illus., 7 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031191350.Subject(s): Machine theory | Computer science | Software engineering | Logic programming | Algorithms | Computer science -- Mathematics | Formal Languages and Automata Theory | Computer Science Logic and Foundations of Programming | Software Engineering | Logic in AI | Design and Analysis of Algorithms | Mathematics of ComputingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.131 Online resources: Click here to access online
In:
Springer Nature eBookSummary: 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.
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.
There are no comments for this item.