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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Steeples, T
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2023

Míreanna comhchosúla

Rational verification: game-theoretic verification of multi-agent systems
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2021)

On the complexity of rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2022)

On computational tractability for rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

Rational verification in multi-agent systems
de réir: Najib, M
Foilsithe / Cruthaithe: (2019)

Iterated Boolean games for rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Rational Verification in Iterated Electric Boolean Games
de réir: Youssouf Oualhadj, et al.
Foilsithe / Cruthaithe: (2016-07-01)

Rational verification: from model checking to equilibrium checking
de réir: Wooldridge, M, et al.
Foilsithe / Cruthaithe: (2016)

Automated quantitative software verification
de réir: Kattenbelt, M
Foilsithe / Cruthaithe: (2010)

Quantitative verification of Kalman filters
de réir: Evangelidis, A, et al.
Foilsithe / Cruthaithe: (2021)

Comparator automata in quantitative verification
de réir: Suguman Bansal, et al.
Foilsithe / Cruthaithe: (2022-07-01)

Quantitative Verification of Implantable Cardiac Pacemakers
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2015)

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
de réir: Lucas E. R. Fernandes, et al.
Foilsithe / Cruthaithe: (2017-09-01)

From model checking to equilibrium checking: reactive modules for rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Quantitative Multi-objective Verification for Probabilistic Systems.
de réir: Forejt, V, et al.
Foilsithe / Cruthaithe: (2011)

Morphological methods of verification and quantitative estimation of apoptosis
de réir: V. N. Manskikh
Foilsithe / Cruthaithe: (2004-03-01)

Verification of quantitative analytical methods in medical laboratories
de réir: Abdel Ghafar Muhammad T., et al.
Foilsithe / Cruthaithe: (2021-01-01)

Quantitative verification and strategy synthesis of stochastic games
de réir: Svorenova, M, et al.
Foilsithe / Cruthaithe: (2016)

Closed-loop quantitative verification of rate-adaptive pacemakers
de réir: Paoletti, N, et al.
Foilsithe / Cruthaithe: (2018)

Tools at the frontiers of quantitative verification: QComp 2023 competition report
de réir: Andriushchenko, R, et al.
Foilsithe / Cruthaithe: (2024)

Quantitative verification of real-time properties with application to medical devices
de réir: Marco Diciolla, M, et al.
Foilsithe / Cruthaithe: (2014)

Workflow Trace Profiling and Execution Time Analysis in Quantitative Verification
de réir: Guoxin Su, et al.
Foilsithe / Cruthaithe: (2024-09-01)

Quantitative simulation and verification of the tourism economic resilience in urban agglomerations
de réir: Shasha Yang, et al.
Foilsithe / Cruthaithe: (2023-11-01)

Advances and challenges of quantitative verification and synthesis for cyber-physical systems
de réir: Kwiatkowska, M
Foilsithe / Cruthaithe: (2016)

On correctness, precision, and performance in quantitative verification: QComp 2020 Competition Report
de réir: Budde, CE, et al.
Foilsithe / Cruthaithe: (2021)

Identification and Verification of Quantitative Trait Loci Affecting Milling Yield of Rice
de réir: Hui Zhang, et al.
Foilsithe / Cruthaithe: (2020-01-01)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2013)

Quantitative phenotypic and pathway profiling guides rational drug combination strategies
de réir: Neil O Carragher, et al.
Foilsithe / Cruthaithe: (2014-05-01)

Theoretical verification of the rationality of strain energy storage index as rockburst criterion based on linear energy storage law
de réir: Fengqiang Gong, et al.
Foilsithe / Cruthaithe: (2022-12-01)

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
de réir: Barbot, B, et al.
Foilsithe / Cruthaithe: (2015)

Advancing verification of process mining models with quantitative model checking in stochastic environment
de réir: Mangi Fawad Ali, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Quantitative simulation and verification of carbon neutralization potential upgrade law in urban agglomerations
de réir: Peng Zeng, et al.
Foilsithe / Cruthaithe: (2023-07-01)

Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes
de réir: M.S. Mohagheghi
Foilsithe / Cruthaithe: (2018-12-01)

Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
de réir: Ukachukwu Ndukwu
Foilsithe / Cruthaithe: (2009-12-01)

Utilization of Digital PCR in Quantity Verification of Plasmid Standards Used in Quantitative PCR
de réir: Martina Beinhauerova, et al.
Foilsithe / Cruthaithe: (2020-07-01)

Intercomparison of two meteorological limited area models for quantitative precipitation forecast verification
de réir: E. Oberto, et al.
Foilsithe / Cruthaithe: (2012-03-01)

Metabolic modulation through deletion of hypoxia-inducible factor-1alpha and fumarate hydratase in the heart
de réir: Steeples, V
Foilsithe / Cruthaithe: (2015)

ADVERTISING AND AN ACCIDENTAL CLASSIC: ILLUSTRATED SKETCHES OF DFATH VALLEY
de réir: Douglas Steeples
Foilsithe / Cruthaithe: (2001-06-01)

Rational Design of an Activatable Reporter for Quantitative Imaging of RNA Aberrant Splicing In Vivo
de réir: Jinrong Xie, et al.
Foilsithe / Cruthaithe: (2020-06-01)

Quantitative aspects of enterprise rational management in the area of food products supplies management
de réir: Landika Mirjana
Foilsithe / Cruthaithe: (2007-01-01)

A review of shallow seismic methods
de réir: D. W. Steeples
Foilsithe / Cruthaithe: (2000-06-01)