Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Produktbild: Quantitative Evaluation of Systems
Band 14287

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

Aus der Reihe Lecture Notes in Computer Science

Fr. 106.00

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.2023

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 edition 2023

Sprache

Englisch

ISBN

978-3-031-43834-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.09.2023

Herausgeber

Verlag

Springer

Seitenzahl

364

Maße (L/B/H)

23.5/15.5/2.1 cm

Gewicht

575 g

Auflage

1st edition 2023

Sprache

Englisch

ISBN

978-3-031-43834-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • 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.