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

Bibliografske podrobnosti
Glavni avtor:	Steeples, T
Format:	Thesis
Jezik:	English
Izdano:	2023

Podobne knjige/članki

Rational verification: game-theoretic verification of multi-agent systems
od: Abate, A, et al.
Izdano: (2021)

On the complexity of rational verification
od: Gutierrez, J, et al.
Izdano: (2022)

On computational tractability for rational verification
od: Gutierrez, J, et al.
Izdano: (2019)

Rational verification in multi-agent systems
od: Najib, M
Izdano: (2019)

Iterated Boolean games for rational verification
od: Gutierrez, J, et al.
Izdano: (2017)

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

Rational verification: from model checking to equilibrium checking
od: Wooldridge, M, et al.
Izdano: (2016)

Automated quantitative software verification
od: Kattenbelt, M
Izdano: (2010)

Quantitative verification of Kalman filters
od: Evangelidis, A, et al.
Izdano: (2021)

Comparator automata in quantitative verification
od: Suguman Bansal, et al.
Izdano: (2022-07-01)

Quantitative Verification of Implantable Cardiac Pacemakers
od: Chen, T, et al.
Izdano: (2015)

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

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

Quantitative Multi-objective Verification for Probabilistic Systems.
od: Forejt, V, et al.
Izdano: (2011)

Morphological methods of verification and quantitative estimation of apoptosis
od: V. N. Manskikh
Izdano: (2004-03-01)

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

Quantitative verification and strategy synthesis of stochastic games
od: Svorenova, M, et al.
Izdano: (2016)

Closed-loop quantitative verification of rate-adaptive pacemakers
od: Paoletti, N, et al.
Izdano: (2018)

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

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

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

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

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
od: Kwiatkowska, M
Izdano: (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

ADVERTISING AND AN ACCIDENTAL CLASSIC: ILLUSTRATED SKETCHES OF DFATH VALLEY
od: Douglas Steeples
Izdano: (2001-06-01)

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

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

A review of shallow seismic methods
od: D. W. Steeples
Izdano: (2000-06-01)