Reachability Problems

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

Igor Potapov, Pierre-Alain Reynier (Herausgeber)

Buch | Softcover

XXI, 161 Seiten

2018
Springer International Publishing (Verlag)
978-3-030-00249-7 (ISBN)

Artikel merken

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.

Erscheinungsdatum	18.09.2018
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XXI, 161 p. 32 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	290 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Themenwelt	Mathematik / Informatik ► Mathematik ► Analysis
Schlagworte	Automata Theory • Differential Equations • dynamical and hybrid systems • eigenvalues and eigenfunctions • Eigenvectors • Finite Automata • Integer Programming • Knapsack Problems • Matrix Algebra • Numerical Methods • Problem Solving • query processing • Rewriting Systems • Search Engines • security analysis • Transition probabilities
ISBN-10	3-030-00249-7 / 3030002497
ISBN-13	978-3-030-00249-7 / 9783030002497
Zustand	Neuware