عنوان
پدید آورنده
موضوع
رده
QA76.76.V47
QA76
.
76
.
V47
کتابخانه
محل استقرار
شابک
شابک
3030002497
شابک
3030002500
شابک
3030002519
شابک
9783030002497
شابک
9783030002503
شابک
9783030002510
شابک اشتباه
9783030002497
عنوان و نام پديدآور
عنوان اصلي
Reachability problems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /
نام نخستين پديدآور
Igor Potapov, Pierre-Alain Reynier (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham, Switzerland :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xxi, 161 pages) :
ساير جزييات
illustrations.
فروست
عنوان فروست
Lecture notes in computer science ;
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
11123
يادداشت کلی
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Intro -- Preface -- Organization -- Abstracts of Invited Talks -- On the Computational Complexity of Solving Ordinary Differential Equations -- Reachability in Cyber-Physical Systems -- Universal Trees and Quasi-Polynomial Algorithms for Solving Parity Games -- A Counterexample to Thiagarajan's Conjecture on Regular Event Structures -- Safety Verification for Deep Neural Networks with Provable Guarantees (Extended Abstract) -- Contents -- Reachability Analysis of Nonlinear ODEs Using Polytopic Based Validated Runge-Kutta -- 1 Introduction -- 2 Zonotopic Based Validated Runge-Kutta
متن يادداشت
2.1 Initial Value Problem -- 2.2 Validated Runge-Kutta -- 2.3 Affine Arithmetic -- 2.4 Zonotopes -- 2.5 Scheme with Affine Arithmetic -- 2.6 If Integration Fails -- 3 Polytope Geometry -- 3.1 Represent a Polytope Exactly by the Intersection of Zonotopes -- 3.2 Bisect a Polytope -- 4 Nonlinear ODE Reachability of Polytopes -- 4.1 Principle -- 4.2 Examples -- 5 Conclusion -- References -- The Satisfiability of Word Equations: Decidable and Undecidable Theories -- 1 Introduction -- 2 Preliminaries -- 3 Results -- 3.1 Undecidability Results -- 3.2 Quantifier Alternation
متن يادداشت
3.3 Decidability with Restricted Form -- References -- Left-Eigenvectors Are Certificates of the Orbit Problem -- 1 Introduction -- 2 Setting -- 3 Invariants by Generalized Eigenvectors -- 3.1 Certificate Sets of the Rational Orbit Problem -- 3.2 General Existence of a Certificate for the Integer Orbit Problem -- 4 Conclusion and Future Work -- References -- Constrained Dynamic Tree Networks -- 1 Introduction -- 1.1 Related Work -- 2 Alternating Transition System -- 3 Constrained Dynamic Tree Networks -- 3.1 Stability Constraint -- 3.2 Automaton -- 4 Backwards Reachability -- 4.1 The Automaton Ap
متن يادداشت
4.2 From Constraints over P to Constraints over Qp -- 4.3 Closed Set of Constraints -- 4.4 Constructing A' -- 5 Correctness -- 5.1 Soundness -- 5.2 Completeness -- 6 Conclusion -- References -- EXPSPACE-Complete Variant of Countdown Games, and Simulation on Succinct One-Counter Nets -- 1 Introduction -- 2 Basic Definitions -- 3 EXPSPACE-Completeness of Existential Countdown Games -- 4 Reachability Game Reduces to (Bi)simulation Game -- 4.1 Reduction in a General Framework -- 4.2 SOCNRG Reduces to Behavioural Relations on SOCNs -- 5 Additional Remarks -- References
متن يادداشت
Revisiting MU-Puzzle. A Case Study in Finite Countermodels Verification -- 1 MIU System and MU Puzzle -- 2 First-Order Logic Encoding and Disproving for MIU -- 2.1 Assumptions on Model Building Procedure -- 2.2 Exact Invariant by Model Building -- 2.3 Variations: Symmetric MIU Problem -- 3 String Rewriting and Regular Invariants -- 4 Conclusion -- References -- Knapsack in Hyperbolic Groups -- 1 Introduction -- 2 General Notations -- 3 Hyperbolic Groups -- 4 Knapsack Problems -- 5 Complexity of Knapsack in Hyperbolic Groups -- 6 Hyperbolic Groups Are Knapsack-Semilinear
بدون عنوان
0
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
بدون عنوان
8
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018. The 11 full papers presented were carefully reviewed and selected from 21 submissions. 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.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783030002503
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783030002497
شماره استاندارد بين المللي کتاب و موسيقي
9783030002510
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
RP 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science-- Mathematics, Congresses.
موضوع مستند نشده
Computer systems-- Verification, Congresses.
موضوع مستند نشده
Decidability (Mathematical logic), Congresses.
موضوع مستند نشده
Logics and Meanings of Programs.
موضوع مستند نشده
Math Applications in Computer Science.
موضوع مستند نشده
Numeric Computing.
موضوع مستند نشده
Probability and Statistics in Computer Science.
موضوع مستند نشده
Computer programming / software development.
موضوع مستند نشده
Computer science-- Mathematics.
موضوع مستند نشده
Computer systems-- Verification.
موضوع مستند نشده
Computers-- Data Processing.
موضوع مستند نشده
Computers-- Mathematical & Statistical Software.
موضوع مستند نشده
Computers-- Programming-- Algorithms.
موضوع مستند نشده
Computers-- Programming-- General.
موضوع مستند نشده
Decidability (Mathematical logic)
موضوع مستند نشده
Mathematical theory of computation.
موضوع مستند نشده
Maths for computer scientists.
مقوله موضوعی
موضوع مستند نشده
COM051000
موضوع مستند نشده
UM
موضوع مستند نشده
UM
موضوع مستند نشده
UYF
رده بندی ديویی
شماره
004
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
76
.
V47
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Potapov, Igor
مستند نام اشخاص تاييد نشده
Reynier, Pierre-Alain
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
RP (Workshop)(12th :2018 :, Marseille, France)
مبدا اصلی
تاريخ عمليات
20200823071553.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
