Dynamic probabilistic logic models for effective abstractions in RL

Re-assign community