Reachability problems: [electronic resource] :: 16th international conference, RP 2022 /: Anthony W. Lin, Georg Zetzsche, Igor Potapov (eds.).

Lin, Anthony Widjaja,; Zetzsche, Georg,; Potapov, Igor,

doi:10.1007/978-3-031-19135-0

Reachability problems [electronic resource] : 16th international conference, RP 2022 / Anthony W. Lin, Georg Zetzsche, Igor Potapov (eds.).

International Conference on Reachability Problems (16th : 2022 : Kaiserslautern, Germany); Lin, Anthony Widjaja, editor.; Zetzsche, Georg, editor.; Potapov, Igor, editor.

2022

QA76.76.V47 I58 2022

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Reachability problems [electronic resource] : 16th international conference, RP 2022 / Anthony W. Lin, Georg Zetzsche, Igor Potapov (eds.).

Meeting Name

International Conference on Reachability Problems (16th : 2022 : Kaiserslautern, Germany)

ISBN

9783031191350 (electronic bk.)
3031191358 (electronic bk.)
303119134X
9783031191343

DOI

https://doi.org/10.1007/978-3-031-19135-0

Published

Cham, Switzerland : Springer, 2022.

Language

English

Description

1 online resource.

Item Number

10.1007/978-3-031-19135-0 doi

Call Number

QA76.76.V47 I58 2022

Dewey Decimal Classification

005.1/4

Summary

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022. The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings 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.

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed October 20, 2022).

Added Author

Lin, Anthony Widjaja, editor.
Zetzsche, Georg, editor.
Potapov, Igor, editor.

Series

Lecture notes in computer science ; 13608.

Available in Other Form

Print version: 9783031191343