Not registered as user yet

Name:Mohammad Mahdavi
Country:Iran
Affiliation:Sharif University of Technology

Contributions

PLDI 2021 Author of Polynomial Reachability Witnesses via Stellens├Ątze within the PLDI-track