Login / Signup

Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic.

Martin Lück
Published in: Int. J. Found. Comput. Sci. (2018)
Keyphrases
  • dynamic programming
  • probabilistic model
  • multi agent
  • heuristic search
  • mathematical models
  • computation tree logic