Certified Computation of Nondeterministic Limits.

Michal Konecný Sewon Park Holger Thies

Published in: NFM (2022)

Keyphrases

computer vision
decision making
decision trees
expert systems
finite state
machine learning
website
similarity measure
bayesian networks
search algorithm
digital libraries
markov decision processes
cd rom
efficient computation