Quantitative rational verification

Quantitative rational verification

<p>Rational verification asks whether certain temporal properties hold within the equilibria of multi-agent systems. Typically, the literature considers games where the agents traverse some concurrent game structure (or some succinct representation of it), with player goals and specifications...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Steeples, T
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2023

Những quyển sách tương tự

Rational verification: game-theoretic verification of multi-agent systems
Bằng: Abate, A, et al.
Được phát hành: (2021)

On the complexity of rational verification
Bằng: Gutierrez, J, et al.
Được phát hành: (2022)

On computational tractability for rational verification
Bằng: Gutierrez, J, et al.
Được phát hành: (2019)

Rational verification in multi-agent systems
Bằng: Najib, M
Được phát hành: (2019)

Iterated Boolean games for rational verification
Bằng: Gutierrez, J, et al.
Được phát hành: (2017)

Rational Verification in Iterated Electric Boolean Games
Bằng: Youssouf Oualhadj, et al.
Được phát hành: (2016-07-01)

Rational verification: from model checking to equilibrium checking
Bằng: Wooldridge, M, et al.
Được phát hành: (2016)

Automated quantitative software verification
Bằng: Kattenbelt, M
Được phát hành: (2010)

Quantitative verification of Kalman filters
Bằng: Evangelidis, A, et al.
Được phát hành: (2021)

Comparator automata in quantitative verification
Bằng: Suguman Bansal, et al.
Được phát hành: (2022-07-01)

Quantitative Verification of Implantable Cardiac Pacemakers
Bằng: Chen, T, et al.
Được phát hành: (2015)

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
Bằng: Lucas E. R. Fernandes, et al.
Được phát hành: (2017-09-01)

From model checking to equilibrium checking: reactive modules for rational verification
Bằng: Gutierrez, J, et al.
Được phát hành: (2017)

Quantitative Multi-objective Verification for Probabilistic Systems.
Bằng: Forejt, V, et al.
Được phát hành: (2011)

Morphological methods of verification and quantitative estimation of apoptosis
Bằng: V. N. Manskikh
Được phát hành: (2004-03-01)

Verification of quantitative analytical methods in medical laboratories
Bằng: Abdel Ghafar Muhammad T., et al.
Được phát hành: (2021-01-01)

Quantitative verification and strategy synthesis of stochastic games
Bằng: Svorenova, M, et al.
Được phát hành: (2016)

Closed-loop quantitative verification of rate-adaptive pacemakers
Bằng: Paoletti, N, et al.
Được phát hành: (2018)

Tools at the frontiers of quantitative verification: QComp 2023 competition report
Bằng: Andriushchenko, R, et al.
Được phát hành: (2024)

Quantitative verification of real-time properties with application to medical devices
Bằng: Marco Diciolla, M, et al.
Được phát hành: (2014)

Workflow Trace Profiling and Execution Time Analysis in Quantitative Verification
Bằng: Guoxin Su, et al.
Được phát hành: (2024-09-01)

Quantitative simulation and verification of the tourism economic resilience in urban agglomerations
Bằng: Shasha Yang, et al.
Được phát hành: (2023-11-01)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
Bằng: Kwiatkowska, M
Được phát hành: (2016)

On correctness, precision, and performance in quantitative verification: QComp 2020 Competition Report
Bằng: Budde, CE, et al.
Được phát hành: (2021)

Identification and Verification of Quantitative Trait Loci Affecting Milling Yield of Rice
Bằng: Hui Zhang, et al.
Được phát hành: (2020-01-01)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
Bằng: Chen, T, et al.
Được phát hành: (2013)

Quantitative phenotypic and pathway profiling guides rational drug combination strategies
Bằng: Neil O Carragher, et al.
Được phát hành: (2014-05-01)

Theoretical verification of the rationality of strain energy storage index as rockburst criterion based on linear energy storage law
Bằng: Fengqiang Gong, et al.
Được phát hành: (2022-12-01)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
Bằng: Barbot, B, et al.
Được phát hành: (2015)

Advancing verification of process mining models with quantitative model checking in stochastic environment
Bằng: Mangi Fawad Ali, et al.
Được phát hành: (2024-01-01)

Quantitative simulation and verification of carbon neutralization potential upgrade law in urban agglomerations
Bằng: Peng Zeng, et al.
Được phát hành: (2023-07-01)

Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes
Bằng: M.S. Mohagheghi
Được phát hành: (2018-12-01)

Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
Bằng: Ukachukwu Ndukwu
Được phát hành: (2009-12-01)

Utilization of Digital PCR in Quantity Verification of Plasmid Standards Used in Quantitative PCR
Bằng: Martina Beinhauerova, et al.
Được phát hành: (2020-07-01)

Intercomparison of two meteorological limited area models for quantitative precipitation forecast verification
Bằng: E. Oberto, et al.
Được phát hành: (2012-03-01)

Metabolic modulation through deletion of hypoxia-inducible factor-1alpha and fumarate hydratase in the heart
Bằng: Steeples, V
Được phát hành: (2015)

ADVERTISING AND AN ACCIDENTAL CLASSIC: ILLUSTRATED SKETCHES OF DFATH VALLEY
Bằng: Douglas Steeples
Được phát hành: (2001-06-01)

Rational Design of an Activatable Reporter for Quantitative Imaging of RNA Aberrant Splicing In Vivo
Bằng: Jinrong Xie, et al.
Được phát hành: (2020-06-01)

Quantitative aspects of enterprise rational management in the area of food products supplies management
Bằng: Landika Mirjana
Được phát hành: (2007-01-01)

A review of shallow seismic methods
Bằng: D. W. Steeples
Được phát hành: (2000-06-01)