© Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 5. Model Checking Modellbasierte Softwareentwicklung 1 17.01.2013.
Reinforcement Learning: A Tutorial Rich Sutton AT&T Labs -- Research sutton.
An Introduction to Input/Output Automata Qihua Wang.
CS 188: Artificial Intelligence Fall 2009 Lecture 10: MDPs 9/29/2009 Dan Klein – UC Berkeley Many slides over the course adapted from either Stuart Russell.
Reinforcement Learning: Learning algorithms Yishay Mansour Tel-Aviv University.
T-61.184 Informaatiotekniikan erikoiskurssi IV
Ejercicios de alineamiento de secuencias: CLUSTALW insertar secuencias de FASTA
An Introduction to Input/Output Automata
Reinforcement Learning