Login / Signup
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+.
Serenella Cerrito
Amélie David
Valentin Goranko
Published in:
CoRR (2014)
Keyphrases
</>
mathematical model
objective function
dynamic programming
probabilistic model
probability distribution
tree structure
bayesian inference
mathematical models