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

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Steeples, T
Format:	Thesis
Sprog:	English
Udgivet:	2023

Lignende værker

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

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

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

Rational verification in multi-agent systems
af: Najib, M
Udgivet: (2019)

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

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

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

Automated quantitative software verification
af: Kattenbelt, M
Udgivet: (2010)

Quantitative verification of Kalman filters
af: Evangelidis, A, et al.
Udgivet: (2021)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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