I'm an Associate Professor of Computer Science at Iowa State University. I work in model checking and probabilistic model checking, and lately I work on various forms of decision diagrams to manage state explosion. For more information, check out my Iowa State Webpage.
-
Iowa State University
- http://www.cs.iastate.edu/~asminer
Block or Report
Block or report asminer
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.