{"product_id":"reachability-problems-6","title":"Reachability Problems: 14th International Conference, Rp 2020, Paris, France, October 19-21, 2020, Proceedings","description":"This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.\u003cp\u003eThe 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. The papers 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.\u003c\/p\u003e","brand":"None","offers":[{"title":"Paperback","offer_id":46281168879826,"sku":"9783030617387","price":80.5,"currency_code":"CAD","in_stock":true},{"title":"Kobo eBook","offer_id":46281168912594,"sku":"db45e0f7-ec71-31ce-824b-929bf2bb783d","price":64.09,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0655\/8980\/5233\/files\/1_768d3117-e410-436d-a85b-080f0140954c.jpg?v=1763440084","url":"https:\/\/www.indigo.ca\/products\/reachability-problems-6","provider":"Indigo","version":"1.0","type":"link"}