@article{1450334,
      recid = {1450334},
      author = {Lin, Anthony Widjaja, and Zetzsche, Georg, and Potapov,  Igor,},
      title = {Reachability problems : 16th international conference, RP  2022 /. International Conference on Reachability Problems},
      publisher = {Springer,},
      address = {Cham, Switzerland :},
      pages = {1 online resource},
      year = {2022},
      note = {Includes author index.},
      abstract = {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.},
      url = {http://library.usi.edu/record/1450334},
      doi = {https://doi.org/10.1007/978-3-031-19135-0},
}