Rupak Majumdar

Aprenda como redes neurais podem reduzir o uso de memória em controladores de sistemas críticos de segurança.

Investigando a satisfatibilidade na Lógica Temporal Proposicional com Múltiplas Variáveis.

Explorando as dinâmicas e estratégias dos jogos de Rabin em sistemas de tomada de decisão.

Aprenda a determinar quando programas que usam aleatoriedade vão parar de rodar.

Novos métodos melhoram a detecção de bugs em sistemas distribuídos usando técnicas de aprendizado por reforço.

Um novo algoritmo minimiza o arrependimento enquanto segue regras complexas em aprendizado por reforço.