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.
asminer Goto Github PK
Name: Andrew Miner
Type: User
Company: Iowa State University