Fabio Somenzi

markov decision process (2) reinforcement learning (2) model-based learning (1) natural language generation (1) text generation (1) pac learning (1) explanation generation (1) formal methods (1) formal verification (1) dynamic programming (1) optimal policy (1) discounted reward (1) recursive neural network (1) human-ai collaboration (1) markov game (1) temporal logic (1) lexicographic optimization (1) recursive learning (1) linear temporal logic (1) controller synthesis (1)