Login / Signup
Computation and verification of contraction metrics for exponentially stable equilibria.
Peter Giesl
Sigurdur F. Hafstein
Iman Mehrabinezhad
Published in:
CoRR (2019)
Keyphrases
</>
game theoretic
model checking
long run
database
image segmentation
parallel algorithm
game theory
parallel computation
information retrieval
learning algorithm
artificial intelligence
evolutionary algorithm
temporal logic
face verification
functional verification