Advertisement

Reachability Problems

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

  • Igor Potapov
  • Pierre-Alain Reynier
Conference proceedings RP 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11123)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11123)

Table of contents

  1. Front Matter
    Pages I-XXI
  2. Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka
    Pages 15-29
  3. Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem
    Pages 30-44
  4. Matthew Hague, Vincent Penelle
    Pages 45-58
  5. Markus Lohrey
    Pages 87-102
  6. Turlough Neary, Matthew Cook
    Pages 103-116
  7. Iovka Boneva, Joachim Niehren, Momar Sakho
    Pages 117-132
  8. Back Matter
    Pages 161-161

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Igor Potapov
    • 1
  • Pierre-Alain Reynier
    • 2
  1. 1.University of LiverpoolLiverpoolUK
  2. 2.Aix-Marseille UniversityMarseilleFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-00250-3
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-00249-7
  • Online ISBN 978-3-030-00250-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace