Not registered as user yet

Name:Nima Roohi
Affiliation:University of Pennsylvania

Contributions

VMCAI 2018 Author of Revisiting MITL to Fix Decision Procedures within the VMCAI 2018-track