Vor Ort
Merkzettel Warenkorb
Produktbild: Quantitative Evaluation of Systems
Band 14287 - 12%

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science
12% sparen

71,99 € UVP 82,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.2023

Abbildungen

XIII, 364 p. 83 illus., 45 illus. in color.

Herausgeber

Nils Jansen + weitere

Verlag

Springer

Seitenzahl

364

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

575 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-43834-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.2023

Abbildungen

XIII, 364 p. 83 illus., 45 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

364

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

575 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-43834-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Quantitative Evaluation of Systems
  • Multi-Agent Verification and Control with Probabilistic Model Checking.- Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.- Jajapy: a learning library for stochastic models.- Introducing Asynchronicity to Probabilistic Hyperproperties.- A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems.- An MM Algorithm to Estimate Parameters in Continuous-time Markov Chains.- STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.- Skipping and Fetching: Insights on Non-Convectional Product-Form Solutions.- On the Maximum Queue Length of the Hyper Scalable Load Balancing Push Strategy.- Data-driven Inference of Chemical Reaction Networks via Graph-based Variational Autoencoders.- Modeling uncertain biomass composition in genome-scale metabolic models with Flexible Nets.- On the Trade-off Between Efficiency and Precision of Neural Abstraction.- Equilibrium Analysis of Markov Regenerative Processes.- Max-entropy sampling for deterministic timed automata under linear duration constraints.- Quasi-Deterministic Burstiness Bound for Aggregate of Independent, Periodic Flows.- Matching Distributions under Structural Constraints.- Comparing Two Approaches to Include Stochasticity in Hybrid Automata.- Analysis of an epoch commit protocol for distributed processing systems.- Causal Reversibility Implies Time Reversibility.- Deductive Controller Synthesis for Probabilistic Hyperproperties.- Model Abstraction and Conditional Sampling with Score-Based Diffusion Model.- Probabilistic Counterexample Guidance for Safer Reinforcement Learning.- Symbolic Semantics for Probabilistic Programs.- Verification of Quantum Systems using Barrier Certificates.