Rupak Majumdar

Enquête sur la satisfaisabilité dans la logique temporelle propositionnelle à plusieurs variables.

Explorer les dynamiques et les stratégies des jeux de Rabin dans les systèmes de prise de décision.

Apprends à déterminer quand les programmes qui utilisent le hasard vont arrêter de tourner.

De nouvelles méthodes améliorent la détection de bugs dans les systèmes distribués en utilisant des techniques d'apprentissage par renforcement.

Un nouvel algorithme minimise le regret tout en respectant des règles complexes dans l'apprentissage par renforcement.