conf.researchr.org / Masoud Ebrahimi
Registered user since Tue 13 Dec 2016
Name:Masoud Ebrahimi
Country:Austria
Affiliation:Institute of Applied Information Processing and Communications, Graz University of Technology
Personal website:https://www.iaik.tugraz.at/ebrahimi_masoud/
Research interests:Synthesis, Model Checking, Verification, Automata Learning
Contributions
| VMCAI 2017 | Author of Synthesizing Non-Vacuous Systems within the VMCAI-track |