Reachability Problems : 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings / edited by Sylvain Schmitz, Igor Potapov.
Schmitz, Sylvain. editor.; Potapov, Igor. editor.
2020
QA75.5-76.95
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Reachability Problems : 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings / edited by Sylvain Schmitz, Igor Potapov.
Edition 1st ed. 2020.
ISBN 3030617394
9783030617394
3030617386
9783030617387
DOI https://doi.org/10.1007/978-3-030-61739-4
Published Cham : Springer International Publishing : Imprint: Springer, 2020.
Language English
Description 1 online resource (XXI, 165 pages) : illustrations.
Item Number 10.1007/978-3-030-61739-4 doi
Call Number QA75.5-76.95
Dewey Decimal Classification 004.0151
Summary This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020. The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. 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.
Access Note Access limited to authorized users.
Added Author Schmitz, Sylvain. editor.
Potapov, Igor. editor.
Series LNCS sublibrary. SL 1, Theoretical computer science and general issues ; 12448.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Invited Papers
On decision problems for substitutions in symbolic dynamics
Games with Full, Longitudinal, and Transverse Observability
Regular Papers
Reachability set generation using hybrid relation compatible saturation
Case Study: Reachability Analysis of a unified Combat-Command-and-Control Model
Qualitative Multi-Objective Reachability for Ordered Branching MDPs
Quantum-over-classical Advantage in Solving Multiplayer Games
Efficient Restrictions of Immediate Observation Petri Nets
Binary expression of ancestors in the Collatz graph
The Collatz process embeds a base conversion algorithm
The Complexity of the Label-Splitting-Problem for Flip-Flop-Nets.

Browse Subjects

Show more subjects...

Statistics

from
to
Export