Join BookitisSave favorites, build lists, and follow creators.

Reachability Problems

Work detail

Bookitis Pick
Cover for Reachability Problems
RP
Image source: Open Library
Anthony W. LinGeorg ZetzscheAntonin KuceraJames WorrellParosh Aziz AbdullaIgor PotapovJoel Ouaknine3 editions

This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite 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.

Overview

Shared work-level identity and catalog context.

7 credited authorsSearch language english

Bookitis keeps work pages focused on the shared book identity and the editions that actually belong to it. Unrelated books should not appear here as primary content.

Contributors

People credited with this work in the active catalog.

  • Anthony W. Lin

    Author profile in the active Bookitis catalog

    Open Author
  • Georg Zetzsche

    Author profile in the active Bookitis catalog

    Open Author
  • Antonin Kucera

    Author profile in the active Bookitis catalog

    Open Author
  • James Worrell

    Author profile in the active Bookitis catalog

    Open Author
  • Parosh Aziz Abdulla

    Author profile in the active Bookitis catalog

    Open Author
  • Igor Potapov

    Author profile in the active Bookitis catalog

    Open Author
  • Joel Ouaknine

    Author profile in the active Bookitis catalog

    Open Author

Editions

Publication-specific versions linked to this work only.