Login / Signup
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions.
Damian Kurpiewski
Witold Pazderski
Wojciech Jamroga
Yan Kim
Published in:
CoRR (2023)
Keyphrases
</>
probabilistic model
formal model
computational model
statistical model
mathematical model
face recognition
likelihood ratio
real time
bayesian framework
theoretical framework
theoretical analysis
objective function
similarity measure
high level
knowledge base
learning algorithm
information retrieval
neural network