Reachability Problems  16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings /  [electronic resource] : 
edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov. 
 - 1st ed. 2022. 
 - XLIII, 179 p. 28 illus., 7 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  13608  1611-3349 ; .
 - Lecture Notes in Computer Science,  13608 .
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783031191350 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-19135-0  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory.<br/>Computer science.<br/>Software engineering.<br/>Logic programming.<br/>Algorithms.<br/>Computer science--Mathematics.<br/>Formal Languages and Automata Theory.<br/>Computer Science Logic and Foundations of Programming.<br/>Software Engineering.<br/>Logic in AI.<br/>Design and Analysis of Algorithms.<br/>Mathematics of Computing.
<br/><br/><label>LC Class. No.: </label>QA267-268.5 
<br/><br/><label>Dewey Class. No.: </label>005.131