TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-031-19135-0
DO  - doi
AB  - 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.
T1  - Reachability problems :16th international conference, RP 2022 /
DA  - 2022.
CY  - Cham, Switzerland :
AU  - Lin, Anthony Widjaja,
AU  - Zetzsche, Georg,
AU  - Potapov, Igor,
VL  - 13608
CN  - QA76.76.V47
PB  - Springer,
PP  - Cham, Switzerland :
PY  - 2022.
N1  - Includes author index.
ID  - 1450334
KW  - Computer systems
KW  - Decidability (Mathematical logic)
KW  - Computer science
SN  - 9783031191350
SN  - 3031191358
TI  - Reachability problems :16th international conference, RP 2022 /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-19135-0
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-19135-0
ER  -