Sign in

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.

Manuel BarbosaGilles BartheBenjamin GrégoireAdrien KoutsosPierre-Yves Strub
Published in: ACM Trans. Priv. Secur. (2023)
Keyphrases
  • decision support
  • text mining
  • data mining
  • artificial intelligence
  • clustering algorithm
  • multiscale
  • multi agent
  • video sequences
  • computational complexity
  • evolutionary algorithm
  • decision problems
  • key technologies