Andrew S. Miner
Department Affiliations
- Department of Computer Science, Iowa State University, Ames, IA, USA
Themes
- Algorithm correctness
- Complexity analysis
- Performance evaluation
- Model checking
- Probabilistic systems
- Formal languages
- Real-valued queries