Reachability problems : 17th international conference, RP 2023, Nice, France, October 11-13, 2023, proceedings / Olivier Bournez, Enrico Formenti, Igor Potapov, editors.
International Conference on Reachability Problems (17th : 2023 : Nice, France).; Bournez, Olivier., editor.; Formenti, Enrico, 1968- editor.; Potapov, Igor, editor.
2023
QA76.76.V47 I58 2023
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 : 17th international conference, RP 2023, Nice, France, October 11-13, 2023, proceedings / Olivier Bournez, Enrico Formenti, Igor Potapov, editors.
Meeting Name International Conference on Reachability Problems (17th : 2023 : Nice, France).
ISBN 9783031452864 (electronic bk.)
3031452860 (electronic bk.)
9783031452857
DOI https://doi.org/10.1007/978-3-031-45286-4
Published Cham : Springer, [2023]
Copyright ©2023
Language English
Description 1 online resource (xlviii, 199 pages) : illustrations (some color).
Other Standard Identifiers 10.1007/978-3-031-45286-4 doi
Call Number QA76.76.V47 I58 2023
Dewey Decimal Classification 005.1/4
Summary This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023. The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed October 12, 2023).
Added Author Bournez, Olivier., editor.
Formenti, Enrico, 1968- editor.
Potapov, Igor, editor.
Series Lecture notes in computer science ; 14235. 1611-3349
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Invited Papers
Randomness quality and trade-offs for CA random string generators
Regular Papers
Complexity of Reachability Problems in Neural Networks
Weakly synchronous systems with three machines are Turing powerful
On the Identity and Group Problems for Complex Heisenberg Matrices
Reachability analysis of a class of hybrid gene regulatory networks
Quantitative Reachability Stackelberg-Pareto Synthesis
Multi-Weighted Reachability Games
On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions
Adaptive Directions for Bernstein-based Polynomial Set Evolution
Introducing Divergence for Infinite Probabilistic Models
A Framework for the Competitive Analysis of Model Predictive Controllers
Matching Patterns with Variables Under Simon’s Congruence
HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification
Generalized ARRIVAL Problem for Rotor Walks in Path Multigraphs.

Browse Subjects

Show more subjects...

Statistics

from
to
Export