Shrisha Rao

Explorando nuevos métodos para analizar sistemas computacionales complejos usando VASS de Pushdown Continuo.

Presentando un método para subastas de permisos de múltiples contaminantes de manera eficiente.