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

Descrizione completa

Dettagli Bibliografici
Autore principale:	Steeples, T
Natura:	Tesi
Lingua:	English
Pubblicazione:	2023

Documenti analoghi

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

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

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

Rational verification in multi-agent systems
di: Najib, M
Pubblicazione: (2019)

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

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

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

Automated quantitative software verification
di: Kattenbelt, M
Pubblicazione: (2010)

Quantitative verification of Kalman filters
di: Evangelidis, A, et al.
Pubblicazione: (2021)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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