Başlık:
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Yazar:
Jansen, Nils. editor.
ISBN:
9783031438356
Basım Bilgisi:
1st ed. 2023.
Fiziksel Tanımlama:
XIII, 364 p. 83 illus., 45 illus. in color. online resource.
Seri:
Lecture Notes in Computer Science, 14287
İçerik:
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.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-031-43835-6Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 521142-1001 | XX(521142.1) | Arıyor... | Arıyor... |