Reachability Problems

12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Nonfiction, Computers, Database Management, Data Processing, General Computing, Programming
Cover of the book Reachability Problems by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783030002503
Publisher: Springer International Publishing Publication: September 13, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783030002503
Publisher: Springer International Publishing
Publication: September 13, 2018
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.

The 11 full papers presented were carefully reviewed and selected from 21 submissions. 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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.

The 11 full papers presented were carefully reviewed and selected from 21 submissions. 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.

More books from Springer International Publishing

Cover of the book Muscle Injuries in Sport Athletes by
Cover of the book Data Analysis by
Cover of the book Mathematical and Numerical Methods for Partial Differential Equations by
Cover of the book Opportunistic Spectrum Sharing in Cognitive Radio Networks by
Cover of the book Brain-Computer Interface Research by
Cover of the book Mathematical Problems in Meteorological Modelling by
Cover of the book Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection by
Cover of the book Nanohybrid Catalyst based on Carbon Nanotube by
Cover of the book Reviews of Physiology, Biochemistry and Pharmacology Vol. 170 by
Cover of the book From Requirements to Java in a Snap by
Cover of the book Philosophy of Race by
Cover of the book Advances in Robot Kinematics by
Cover of the book Evaluation and Management of Autonomic Disorders by
Cover of the book Reviews in Fluorescence 2015 by
Cover of the book Oscar Wilde and Contemporary Irish Drama by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy