Markus de Medeiros

Uma nova abordagem para limites de erro usando créditos de erro para programas complexos.

Uma nova abordagem para entender os custos esperados de programas probabilísticos usando lógica de separação de ordem superior.