Quantitative evaluation of systems =...
International Conference on the Quantitative Evaluation of Systems (2023 :)

FindBook      Google Book      Amazon      博客來     
  • Quantitative evaluation of systems = 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Quantitative evaluation of systems/ edited by Nils Jansen, Mirco Tribastone.
    其他題名: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
    其他題名: QEST 2023
    其他作者: Jansen, Nils.
    團體作者: International Conference on the Quantitative Evaluation of Systems
    出版者: Cham :Springer Nature Switzerland : : 2023.,
    面頁冊數: xiii, 364 p. :ill. (some col.), digital ;24 cm.
    內容註: 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.
    Contained By: Springer Nature eBook
    標題: Computer systems - Congresses. - Evaluation -
    電子資源: https://doi.org/10.1007/978-3-031-43835-6
    ISBN: 9783031438356
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入