Get Free Shipping on orders over $79
Reachability Problems : 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings - Paul C. Bell

Reachability Problems

15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings

By: Paul C. Bell (Editor), Patrick Totzke (Editor), Igor Potapov (Editor)

Paperback | 26 October 2021

At a Glance

Paperback


$221.99

or 4 interest-free payments of $55.50 with

 or 

Ships in 10 to 15 business days

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021.

The 6 full papers presented were carefully reviewed and selected from 27 submissions. In addition, 4 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.

Chapter 'Recent Advances on Reachability Problems for Valence Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

More in Computer Science

Empire of AI : Inside the reckless race for total domination - Karen Hao
Python & AI For Dummies - John C. Shovic

RRP $57.95

$44.75

23%
OFF
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$29.75

20%
OFF
Our Artificial Future : What Generative AI Means for Law and Society - David  Atkinson
Operationalizing Responsible AI - Daniele  Quercia

RRP $56.95

$56.75

Reinforcement Learning Foundations - Aviv  Tamar

RRP $99.95

$89.75

10%
OFF
Dynamics of Marine Structures - Yingguang  Wang

RRP $503.95

$442.99

12%
OFF