On computational tractability for rational verification

On computational tractability for rational verification

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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M
Formáid:	Conference item
Foilsithe / Cruthaithe:	International Joint Conferences on Artificial Intelligence 2019

Míreanna comhchosúla

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

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

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

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2020)

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

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

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

Equilibrium design for concurrent games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

EVE: A tool for temporal equilibrium analysis
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2018)

A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications
de réir: Elkind, E, et al.
Foilsithe / Cruthaithe: (2009)

The order encoding: from tractable CSP to tractable SAT
de réir: Petke, J, et al.
Foilsithe / Cruthaithe: (2011)

The order encoding: From tractable CSP to tractable SAT
de réir: Petke, J, et al.
Foilsithe / Cruthaithe: (2011)

Tractable triangles
de réir: Cooper, M, et al.
Foilsithe / Cruthaithe: (2011)

A Test for Tractability
de réir: P.G.Jeavons, et al.
Foilsithe / Cruthaithe: (1996)

Tractable Disjunctive Constraints
de réir: D.A.Cohen, et al.
Foilsithe / Cruthaithe: (1997)

Characterising Tractable Constraints
de réir: M.C.Cooper, et al.
Foilsithe / Cruthaithe: (1994)

Interpretable and tractable models of transcriptional noise for the rational design of single-molecule quantification experiments
de réir: Gennady Gorin, et al.
Foilsithe / Cruthaithe: (2022-12-01)

The order encoding: from tractable CSP to tractable SAT (extended abstract)
de réir: Petke, J, et al.
Foilsithe / Cruthaithe: (2011)

On Tractable Queries and Constraints
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (1999)

Tractable Constraints on Ordered Domains
de réir: P.G.Jeavons, et al.
Foilsithe / Cruthaithe: (1995)

Quantum State Complexity in Computationally Tractable Quantum Circuits
de réir: Jason Iaconis
Foilsithe / Cruthaithe: (2021-02-01)

Tractable uncertainty for structure learning
de réir: Wang, B, et al.
Foilsithe / Cruthaithe: (2022)

Multi-player games with LDL goals over finite traces
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

Imperfect information in reactive modules games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2016)

Iterated games with LDL goals over finite traces
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Imperfect information in Reactive Modules games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2018)

Iterated games with LDL goals
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Tractable Lexical-Functional Grammar
de réir: Jürgen Wedekind, et al.
Foilsithe / Cruthaithe: (2020-07-01)

Tractable Inference Relations
de réir: Givan, Robert, et al.
Foilsithe / Cruthaithe: (2004)

Tractable valued constraints
de réir: Jeavons, P, et al.
Foilsithe / Cruthaithe: (2012)

Perfect Constraints Are Tractable
de réir: Salamon, A, et al.
Foilsithe / Cruthaithe: (2008)

Perfect Constraints Are Tractable
de réir: Salamon, A, et al.
Foilsithe / Cruthaithe: (2008)

Tractable Valued Constraints
de réir: Jeavons, P, et al.
Foilsithe / Cruthaithe: (2013)

On tractability and congruence distributivity
de réir: Emil Kiss, et al.
Foilsithe / Cruthaithe: (2007-06-01)

Building tractable disjunctive constraints
de réir: Cohen, D, et al.
Foilsithe / Cruthaithe: (2000)

Building tractable disjunctive constraints
de réir: Cohen, D, et al.
Foilsithe / Cruthaithe: (2000)

Hypertree Decompositions and Tractable Queries
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (1998)

Hypertree Decompositions and Tractable Queries
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (2002)

Hypertree Decompositions and Tractable Queries
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (1999)

Hypertree Decompositions and Tractable Queries
de réir: Gottlob, G, et al.
Foilsithe / Cruthaithe: (1999)