Overview

Full Product Details

Author:   Olivier Bournez ,  Enrico Formenti ,  Igor Potapov
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2023
Volume:   14235
Weight:   0.385kg
ISBN:  

9783031452857

ISBN 10:   3031452852
Pages:   199
Publication Date:   05 October 2023
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions