Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings - Hague, Matthew; Potapov, Igor.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Keywords: Computers; Computer logic; Mathematical logic; Algorithms; Software engineering; Artificial intelligence; Computation by Abstract Devices; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Software Engineering/Programming and Operating Systems; Artificial Intelligence