Quantitative Evaluation of Systems
19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
The 19 full papers presented together with 1 keynote paper were carefully reviewed...
The 19 full papers presented together with 1 keynote paper were carefully reviewed...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Quantitative Evaluation of Systems “
Klappentext zu „Quantitative Evaluation of Systems “
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.
Inhaltsverzeichnis zu „Quantitative Evaluation of Systems “
Program Analysis.- Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.- Distribution Estimation for Probabilistic Loops.- An Automated Quantitative Information Flow Analysis for Concurrent Programs.- Parameter Synthesis.- Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties.- End-to-end Statistical Model Checking for Parametric ODE Models.- POMDP Controllers With Optimal Budget.- Markovian Agents and Population Models.- A Logical Framework for Reasoning about Local and Global Properties of Collective Systems.- Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-scaling.- Dynamical Systems.- An Algorithm for the Formal Reduction of Differential Equations as Over-approximations.- Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems.- Tools.- LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning.- LN: a Meta-Solver for LayeredQueueing Network Analysis.- Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows.- Applications.- Preference-Aware Computation Offloading for IoT in Multi-Access Edge Computing Using Probabilistic Model Checking.- Analysis of an Electric Vehicle Charging System along a Highway.- Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis.- Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks.- Automata Theory and Applications.- Mirrors and Memory in Quantum Automata.- Monte Carlo Tree Search for Priced Timed Automata.
Bibliographische Angaben
- 2022, 1st ed. 2022, XVII, 399 Seiten, 77 farbige Abbildungen, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Erika Ábrahám, Marco Paolieri
- Verlag: Springer, Berlin
- ISBN-10: 3031163354
- ISBN-13: 9783031163357
Sprache:
Englisch
Kommentar zu "Quantitative Evaluation of Systems"
0 Gebrauchte Artikel zu „Quantitative Evaluation of Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Quantitative Evaluation of Systems".
Kommentar verfassen