Reachability problems : 16th international conference, RP 2022 / Anthony W. Lin, Georg Zetzsche, Igor Potapov (eds.).
2022
QA76.76.V47 I58 2022
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Reachability problems : 16th international conference, RP 2022 / Anthony W. Lin, Georg Zetzsche, Igor Potapov (eds.).
Meeting Name
ISBN
9783031191350 (electronic bk.)
3031191358 (electronic bk.)
303119134X
9783031191343
3031191358 (electronic bk.)
303119134X
9783031191343
Publication Details
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).
Series
Lecture notes in computer science ; 13608. 1611-3349
Available in Other Form
Print version: 9783031191343
Linked Resources
Record Appears in