On the complexity of rational verification

On the complexity of rational verification

Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent/multiagent system, under the assumption that agents in the system choose strategies that form a game theoretic equilibrium. Rational verification can be understood as a counterpart to model c...

書誌詳細
主要な著者:	Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M
フォーマット:	Journal article
言語:	English
出版事項:	Springer 2022

類似資料

On computational tractability for rational verification
著者:: Gutierrez, J, 等
出版事項: (2019)

Rational verification: game-theoretic verification of multi-agent systems
著者:: Abate, A, 等
出版事項: (2021)

Rational verification: from model checking to equilibrium checking
著者:: Wooldridge, M, 等
出版事項: (2016)

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
著者:: Gutierrez, J, 等
出版事項: (2020)

Iterated Boolean games for rational verification
著者:: Gutierrez, J, 等
出版事項: (2017)

From model checking to equilibrium checking: reactive modules for rational verification
著者:: Gutierrez, J, 等
出版事項: (2017)

Rational verification in multi-agent systems
著者:: Najib, M
出版事項: (2019)

EVE: A tool for temporal equilibrium analysis
著者:: Gutierrez, J, 等
出版事項: (2018)

Equilibrium design for concurrent games
著者:: Gutierrez, J, 等
出版事項: (2019)

Multi-player games with LDL goals over finite traces
著者:: Gutierrez, J, 等
出版事項: (2019)

Imperfect information in reactive modules games
著者:: Gutierrez, J, 等
出版事項: (2016)

Iterated games with LDL goals over finite traces
著者:: Gutierrez, J, 等
出版事項: (2017)

Imperfect information in Reactive Modules games
著者:: Gutierrez, J, 等
出版事項: (2018)

Iterated games with LDL goals
著者:: Gutierrez, J, 等
出版事項: (2017)

Synthesis with rational environments
著者:: Kupferman, O, 等
出版事項: (2016)

Quantitative rational verification
著者:: Steeples, T
出版事項: (2023)

A tool for the automated verification of Nash equilibria in concurrent games
著者:: Toumi, A, 等
出版事項: (2015)

Expressiveness and Nash equilibrium in iterated Boolean games
著者:: Gutierrez, J, 等
出版事項: (2021)

Nash equilibrium and bisimulation invariance
著者:: Gutierrez, J, 等
出版事項: (2017)

Expressiveness and Nash equilibrium in iterated Boolean games
著者:: Gutierrez, J, 等
出版事項: (2016)

Nash equilibrium and bisimulation invariance
著者:: Gutierrez, J, 等
出版事項: (2019)

Nash equilibria in concurrent games with lexicographic preferences
著者:: Gutierrez, J, 等
出版事項: (2017)

Rational Verification in Iterated Electric Boolean Games
著者:: Youssouf Oualhadj, 等
出版事項: (2016-07-01)

Nash Equilibrium and Bisimulation Invariance
著者:: Julian Gutierrez, 等
出版事項: (2019-09-01)

Expressiveness and complexity results for strategic reasoning
著者:: Gutierrez, J, 等
出版事項: (2015)

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification
著者:: Lucas E. R. Fernandes, 等
出版事項: (2017-09-01)

Pressure distribution model for pressure garments and its verification
著者:: Salleh, Mohamed Najib, 等
出版事項: (2011)

Superelement Verification in Complex Structural Models
著者:: B. Dupont, 等
出版事項: (2008-01-01)

Verification and Examination Management of Complex Systems
著者:: Stian Ruud, 等
出版事項: (2014-10-01)

Interpolation and approximation by rational functions in the complex domain /
著者:: 349555 Walsh, J. L.
出版事項: (1969)

Incentive complexity, bounded rationality and effort provision
著者:: Abeler, J, 等
出版事項: (2023)

Examples of Rational Toral Rank Complex
著者:: Toshihiro Yamaguchi
出版事項: (2012-01-01)

Plant feed complex in sows rations
著者:: Tsoy Zoya, 等
出版事項: (2024-01-01)

Plant feed complex in pigs rations
著者:: Tsoy Zoya, 等
出版事項: (2024-01-01)

Rationality and complexity in the work of Elinor Ostrom
著者:: Arturo Lara
出版事項: (2015-09-01)

Rational approach to complex treatment of influenza
著者:: S. S. Yakimova
出版事項: (2013-12-01)

Agent-based modeling for complex financial systems
著者:: Paulin, J, 等
出版事項: (2018)

Fast routing verification with complexity effect for SOC
著者:: Yang-Hsin Fan
出版事項: (2019-07-01)

A formal verification of the theory of parity complexes
著者:: Mitchell Buckley
出版事項: (2015-11-01)

An algorithm for real and complex rational minimax approximation
著者:: Nakatsukasa, Y, 等
出版事項: (2020)