Login / Signup
Computation and verification of contraction metrics for exponentially stable equilibria.
Peter Giesl
Sigurdur F. Hafstein
Iman Mehrabinezhad
Published in:
J. Comput. Appl. Math. (2021)
Keyphrases
</>
website
model checking
game theoretic
long run
belief change
verification method
database
neural network
learning algorithm
reinforcement learning
efficient computation
face verification
nash equilibria
functional verification