Reachability Problems 12th International Conference RP 2018 Marseille France September 24 26 2018 Proceedings 1st Edition by Igor Potapov ISBN 3030002497 978-3030002497

Reachability Problems 12th International Conference RP 2018 Marseille France September 24 26 2018 Proceedings 1st Edition by Igor Potapov – Ebook PDF Instant Download/Delivery:  3030002497, 978-3030002497

Full download Reachability Problems 12th International Conference RP 2018 Marseille France September 24 26 2018 Proceedings 1st Edition after payment

Product details:

ISBN 10:  3030002497

ISBN 13:  978-3030002497

Author: Igor Potapov

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.

Table of contents: 

1. Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta

2. The Satisfiability of Word Equations: Decidable and Undecidable Theories

3. Left-Eigenvectors Are Certificates of the Orbit Problem

4. Constrained Dynamic Tree Networks

5. EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct One-Counter Nets

6. Revisiting MU-Puzzle. A Case Study in Finite Countermodels Verification

7. Knapsack in Hyperbolic Groups

8. Generalized Tag Systems

9. Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams

10. Büchi VASS Recognise -complete -languages

11. Qualitative Reachability for Open Interval Markov Chains

People also search for:

international conference on reachability problems
international conference on reachability problems 2024
reachability not working
reachability control theory
reachability definition

Tags: Igor Potapov, Reachability Problems, International Conference