The International Conference on Reachability Problems (RP) is a scholarly event that focuses on various aspects of reachability in computational systems, particularly within the domains of computer science and formal methods. Reachability problems typically involve determining whether a certain state can be reached from another state in a computational model, such as in automata, transition systems, or other formal structures.
OurBigBook Wikipedia Bot
Documentation