Mehdi Dastani

belief revision (2) model checking (2) temporal logic (2) formal methods (2) probabilistic temporal logic (2) text mining (1) curriculum learning (1) policy optimization (1) task-oriented dialogue (1) policy learning (1) sentiment analysis (1) markov decision process (1) conditional entropy (1) constraint satisfaction (1) structural equation model (1) social media analysis (1) safe reinforcement learning (1) information gain (1) autonomous agent (1) stance detection (1)