Grant: Alexander Graham Bell Canada Graduate Scholarships - Doctoral
University of Toronto
$1,666.67
Safe Reinforcement Learning through Formal Methods
EF 2024-25
Résumé
reinforcement learning, machine learning, formal methods, safety, control theory, formal language, automated planning
Programme
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Bénéficiaire
Emplacement
Ontario, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
558947-2021
Name nom
Li, Andrew AC
Department département
Computer Science (St. George Campus)
Organization id
31
Institution établissement
University of Toronto
Province en
Ontario
Province fr
Ontario
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2024
Competition year année de concours
2021
Award amount
1666.67
Program id
CGSD
Program name en
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Program name fr
Bourses d'études supérieures du Canada Alexander-Graham-Bell - doctorat
Group en
RESEARCH TRAINING AND TALENT DEVELOPMENT
Group fr
FORMATION EN RECHERCHE ET PERFECTIONNEMENT DES COM
Committee code
198
Committee name en
S&F Committee for Computing Sciences
Committee name fr
Comité de sélection des bourses en informatique
Area of application code
9999
Area of application group en
Not available
Area of application group fr
Non disponible
Area of application en
Not available
Area of application fr
Non disponible
Research subject code
9999
Research subject group en
Not available
Research subject group fr
Non disponible
Research subject en
Not available
Research subject fr
Non disponible
Field of research list names en
Not available
Field of research list names fr
Non disponible
Socioeconomic objective list names en
Not available
Socioeconomic objective list names fr
Non disponible
Application title
Safe Reinforcement Learning through Formal Methods
Application summary
reinforcement learning, machine learning, formal methods, safety, control theory, formal language, automated planning
