• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Qed. Computing What Remains to Be Proved.

Loïc Correnson
Published in: NASA Formal Methods (2014)
Keyphrases
  • real time
  • cooperative
  • data sets
  • genetic algorithm
  • artificial intelligence
  • multimedia
  • three dimensional
  • expert systems
  • pairwise
  • asymptotically optimal
  • asymptotic analysis