Login / Signup
Quirky Quantifiers: Optimal Models and Complexity of Computation Tree Logic.
Martin Lück
Published in:
CoRR (2015)
Keyphrases
</>
probabilistic model
dynamic programming
logic programming
computation tree logic