Theoretical Computer Science and General Issues

Reachability Problems

9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

Editors: Bojańczyk, Mikołaj, Lasota, Sławomir, Potapov, Igor (Eds.)

Buy this book

eBook 32,12 €
price for Spain (gross)
  • ISBN 978-3-319-24537-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 41,60 €
price for Spain (gross)
  • ISBN 978-3-319-24536-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics in the field of 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 (15 chapters)

  • Reasoning About Cost-Utility Constraints in Probabilistic Models

    Baier, Christel

    Pages 1-6

    Preview Buy Chapter 30,19 €
  • Integer-Complete Synthesis for Bounded Parametric Timed Automata

    André, Étienne (et al.)

    Pages 7-19

    Preview Buy Chapter 30,19 €
  • Polynomial Interrupt Timed Automata

    Bérard, Béatrice (et al.)

    Pages 20-32

    Preview Buy Chapter 30,19 €
  • Irregular Behaviours for Probabilistic Automata

    Fijalkow, Nathanaël (et al.)

    Pages 33-36

    Preview Buy Chapter 30,19 €
  • Reachability in Succinct One-Counter Games

    Hunter, Paul

    Pages 37-49

    Preview Buy Chapter 30,19 €

Buy this book

eBook 32,12 €
price for Spain (gross)
  • ISBN 978-3-319-24537-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 41,60 €
price for Spain (gross)
  • ISBN 978-3-319-24536-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reachability Problems
Book Subtitle
9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Editors
  • Mikołaj Bojańczyk
  • Sławomir Lasota
  • Igor Potapov
Series Title
Theoretical Computer Science and General Issues
Series Volume
9328
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-24537-9
DOI
10.1007/978-3-319-24537-9
Softcover ISBN
978-3-319-24536-2
Edition Number
1
Number of Pages
XX, 179
Number of Illustrations and Tables
33 b/w illustrations
Topics