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.
-
Notifications
You must be signed in to change notification settings - Fork 0
asminer/asminer
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published