MOTURU. KRISHNA PRIYA DARSINI Application of Reinforcement learning algorithms

to software verification

FACULTÉ DES SCIENCES ET DE GÉNIE

à la Faculté des études supérieures de l’Université Laval dans le cadre du programme de doctorat en informatique pour l’obtention du grade de Philosophiæ Doctor (Ph.D.

FACULTE DES SCIENCES ET DE GENIE

à la Faculté des études supérieures et postdoctorales de l'Université Laval dans le cadre du programme de doctorat en génie mécanique pour l'obtention du grade de Philosophiae Doctor (Ph.D.