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...

书目详细资料
主要作者:	Steeples, T
格式:	Thesis
语言:	English
出版:	2023

相似书籍

Rational verification: game-theoretic verification of multi-agent systems
由: Abate, A, et al.
出版: (2021)

On the complexity of rational verification
由: Gutierrez, J, et al.
出版: (2022)

On computational tractability for rational verification
由: Gutierrez, J, et al.
出版: (2019)

Rational verification in multi-agent systems
由: Najib, M
出版: (2019)

Iterated Boolean games for rational verification
由: Gutierrez, J, et al.
出版: (2017)

Rational Verification in Iterated Electric Boolean Games
由: Youssouf Oualhadj, et al.
出版: (2016-07-01)

Rational verification: from model checking to equilibrium checking
由: Wooldridge, M, et al.
出版: (2016)

Automated quantitative software verification
由: Kattenbelt, M
出版: (2010)

Quantitative verification of Kalman filters
由: Evangelidis, A, et al.
出版: (2021)

Comparator automata in quantitative verification
由: Suguman Bansal, et al.
出版: (2022-07-01)

Quantitative Verification of Implantable Cardiac Pacemakers
由: Chen, T, et al.
出版: (2015)

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
由: Lucas E. R. Fernandes, et al.
出版: (2017-09-01)

From model checking to equilibrium checking: reactive modules for rational verification
由: Gutierrez, J, et al.
出版: (2017)

Quantitative Multi-objective Verification for Probabilistic Systems.
由: Forejt, V, et al.
出版: (2011)

Morphological methods of verification and quantitative estimation of apoptosis
由: V. N. Manskikh
出版: (2004-03-01)

Verification of quantitative analytical methods in medical laboratories
由: Abdel Ghafar Muhammad T., et al.
出版: (2021-01-01)

Quantitative verification and strategy synthesis of stochastic games
由: Svorenova, M, et al.
出版: (2016)

Closed-loop quantitative verification of rate-adaptive pacemakers
由: Paoletti, N, et al.
出版: (2018)

Tools at the frontiers of quantitative verification: QComp 2023 competition report
由: Andriushchenko, R, et al.
出版: (2024)

Quantitative verification of real-time properties with application to medical devices
由: Marco Diciolla, M, et al.
出版: (2014)

Workflow Trace Profiling and Execution Time Analysis in Quantitative Verification
由: Guoxin Su, et al.
出版: (2024-09-01)

Quantitative simulation and verification of the tourism economic resilience in urban agglomerations
由: Shasha Yang, et al.
出版: (2023-11-01)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
由: Kwiatkowska, M
出版: (2016)

On correctness, precision, and performance in quantitative verification: QComp 2020 Competition Report
由: Budde, CE, et al.
出版: (2021)

Identification and Verification of Quantitative Trait Loci Affecting Milling Yield of Rice
由: Hui Zhang, et al.
出版: (2020-01-01)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
由: Chen, T, et al.
出版: (2013)

Quantitative phenotypic and pathway profiling guides rational drug combination strategies
由: Neil O Carragher, et al.
出版: (2014-05-01)

Theoretical verification of the rationality of strain energy storage index as rockburst criterion based on linear energy storage law
由: Fengqiang Gong, et al.
出版: (2022-12-01)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
由: Barbot, B, et al.
出版: (2015)

Advancing verification of process mining models with quantitative model checking in stochastic environment
由: Mangi Fawad Ali, et al.
出版: (2024-01-01)

Quantitative simulation and verification of carbon neutralization potential upgrade law in urban agglomerations
由: Peng Zeng, et al.
出版: (2023-07-01)

Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes
由: M.S. Mohagheghi
出版: (2018-12-01)

Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
由: Ukachukwu Ndukwu
出版: (2009-12-01)

Utilization of Digital PCR in Quantity Verification of Plasmid Standards Used in Quantitative PCR
由: Martina Beinhauerova, et al.
出版: (2020-07-01)

Intercomparison of two meteorological limited area models for quantitative precipitation forecast verification
由: E. Oberto, et al.
出版: (2012-03-01)

Metabolic modulation through deletion of hypoxia-inducible factor-1alpha and fumarate hydratase in the heart
由: Steeples, V
出版: (2015)

ADVERTISING AND AN ACCIDENTAL CLASSIC: ILLUSTRATED SKETCHES OF DFATH VALLEY
由: Douglas Steeples
出版: (2001-06-01)

Rational Design of an Activatable Reporter for Quantitative Imaging of RNA Aberrant Splicing In Vivo
由: Jinrong Xie, et al.
出版: (2020-06-01)

Quantitative aspects of enterprise rational management in the area of food products supplies management
由: Landika Mirjana
出版: (2007-01-01)

A review of shallow seismic methods
由: D. W. Steeples
出版: (2000-06-01)