Reachability Is in DynFO.

Samir Datta Raghav Kulkarni Anish Mukherjee Thomas Schwentick Thomas Zeume

Published in: J. ACM (2018)

Keyphrases

state space
transitive closure
reinforcement learning
artificial intelligence
recommender systems
dynamic programming