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 Structural Processing for Wireless Communications by
Cover of the book Modelling of Convective Heat and Mass Transfer in Rotating Flows by
Cover of the book Murine Models, Energy Balance, and Cancer by
Cover of the book Fixed Point of the Parabolic Renormalization Operator by
Cover of the book Corporal Punishment in U.S. Public Schools by
Cover of the book Exploring Betty A. Reardon’s Perspective on Peace Education by
Cover of the book Mycobacterial Skin Infections by
Cover of the book Global Developments in Literacy Research for Science Education by
Cover of the book Azokh Cave and the Transcaucasian Corridor by
Cover of the book Fundamentals of Electronic Systems Design by
Cover of the book Forward Error Correction Based On Algebraic-Geometric Theory by
Cover of the book Trusted Computing for Embedded Systems by
Cover of the book Total Collapse: The Case Against Responsibility and Morality by
Cover of the book Quantitative Evaluation of Systems by
Cover of the book Simulation in Healthcare Education 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