001480965 000__ 05072cam\\22006617i\4500
001480965 001__ 1480965
001480965 003__ OCoLC
001480965 005__ 20231031003316.0
001480965 006__ m\\\\\o\\d\\\\\\\\
001480965 007__ cr\un\nnnunnun
001480965 008__ 230920s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001480965 019__ $$a1398210673
001480965 020__ $$a9783031438356$$q(electronic bk.)
001480965 020__ $$a3031438353$$q(electronic bk.)
001480965 020__ $$z9783031438349
001480965 020__ $$z3031438345
001480965 0247_ $$a10.1007/978-3-031-43835-6$$2doi
001480965 035__ $$aSP(OCoLC)1398312050
001480965 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDX$$dEBLCP$$dWSU
001480965 049__ $$aISEA
001480965 050_4 $$aQA76.9.E94
001480965 08204 $$a004.2/4$$223/eng/20230920
001480965 1112_ $$aInternational Conference on the Quantitative Evaluation of Systems$$n(20th :$$d2023 :$$cAntwerp, Belgium)
001480965 24510 $$aQuantitative evaluation of systems :$$b20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings /$$cNils Jansen, Mirco Tribastone, editors.
001480965 2463_ $$aQEST 2023
001480965 264_1 $$aCham :$$bSpringer,$$c2023.
001480965 300__ $$a1 online resource (xiii, 364 pages) :$$billustrations (some color).
001480965 336__ $$atext$$btxt$$2rdacontent
001480965 337__ $$acomputer$$bc$$2rdamedia
001480965 338__ $$aonline resource$$bcr$$2rdacarrier
001480965 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14287
001480965 500__ $$aIncludes author index.
001480965 5050_ $$aMulti-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.
001480965 506__ $$aAccess limited to authorized users.
001480965 520__ $$aThis book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023. The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data-driven and machine-learning systems, case studies, and tool papers. The book also contains the extended abstract of the invited talk from David Parker.
001480965 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 20, 2023).
001480965 650_6 $$aSystèmes informatiques$$xÉvaluation$$vCongrès.
001480965 650_6 $$aRéseaux d'ordinateurs$$xÉvaluation$$vCongrès.
001480965 650_6 $$aFiabilité$$vCongrès.
001480965 650_6 $$aProcessus stochastiques$$vCongrès.
001480965 650_0 $$aComputer systems$$xEvaluation$$vCongresses.
001480965 650_0 $$aComputer networks$$xEvaluation$$vCongresses.
001480965 650_0 $$aReliability (Engineering)$$vCongresses.$$vCongresses$$0(DLC)sh2008110659
001480965 650_0 $$aStochastic processes$$vCongresses.
001480965 655_0 $$aElectronic books.
001480965 655_7 $$aConference papers and proceedings.$$2lcgft
001480965 7001_ $$aJansen, Nils$$c(Professor of Software Science),$$eeditor.$$1https://orcid.org/0000-0003-1318-8973
001480965 7001_ $$aTribastone, Mirco,$$eeditor.
001480965 77608 $$iPrint version: $$z3031438345$$z9783031438349$$w(OCoLC)1393205189
001480965 830_0 $$aLecture notes in computer science ;$$v14287.$$x1611-3349
001480965 852__ $$bebk
001480965 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-43835-6$$zOnline Access$$91397441.1
001480965 909CO $$ooai:library.usi.edu:1480965$$pGLOBAL_SET
001480965 980__ $$aBIB
001480965 980__ $$aEBOOK
001480965 982__ $$aEbook
001480965 983__ $$aOnline
001480965 994__ $$a92$$bISE