國立虎尾科技大學 |

Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Reachability problems/ edited by Olivier Bournez, Enrico Formenti, Igor Potapov.
Reminder of title:	17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
remainder title:	RP 2023
other author:	Bournez, Olivier.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer Nature Switzerland : : 2023.,
Description:	xlviii, 199 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
Subject:	Computer systems - Congresses. - Verification -
Online resource:	https://doi.org/10.1007/978-3-031-45286-4
ISBN:	9783031452864

Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /[electronic resource] :RP 2023edited by Olivier Bournez, Enrico Formenti, Igor Potapov. - Cham :Springer Nature Switzerland :2023. - xlviii, 199 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,142350302-9743 ;. - Lecture notes in computer science ;6140..

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.

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.

ISBN: 9783031452864

Standard No.: 10.1007/978-3-031-45286-4doiSubjects--Topical Terms:

793385
Computer systems
--Verification--Congresses.

LC Class. No.: QA76.76.V47 / I58 2023

Dewey Class. No.: 005.14

Reachability problems = 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
LDR:02636nam a2200349 a 4500 001 1117471
003 DE-He213
005 20231004102043.0
006 m d
007 cr nn 008maaau
008 240126s2023 sz s 0 eng d
020 $a 9783031452864 $q (electronic bk.)
020 $a 9783031452857 $q (paper)
024 7 $a 10.1007/978-3-031-45286-4 $2 doi
035 $a 978-3-031-45286-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.V47 $b I58 2023
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.14 $2 23
090 $a QA76.76.V47 $b I61 2023
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Reachability problems $h [electronic resource] : $b 17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings / $c edited by Olivier Bournez, Enrico Formenti, Igor Potapov.
246 3 $a RP 2023
260 $a Cham : $c 2023. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xlviii, 199 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14235
505 0 $a 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.
520 $a 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.
650 0 $a Computer systems $x Verification $v Congresses. $3 793385
650 0 $a Decidability (Mathematical logic) $v Congresses. $3 793386
650 0 $a Computer science $x Mathematics $v Congresses. $3 528619
650 1 4 $a Formal Languages and Automata Theory. $3 1365747
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 1365757
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Design and Analysis of Algorithms. $3 1365721
650 2 4 $a Mathematics of Computing. $3 669457
700 1 $a Bournez, Olivier. $3 793383
700 1 $a Formenti, Enrico. $e editor. $3 1258334
700 1 $a Potapov, Igor. $3 793384
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-45286-4
950 $a Computer Science (SpringerNature-11645)