Probabilistic Input/Output Automata: Project Staff

Project Leaders:

• Scott A. Smolka
• Eugene W. Stark

Other Collaborators (Past and Present):

• Rance Cleaveland
• Xinxin Liu
• Giridhar Pemmasani
• Liqiang Wang
• Sue-hwey Wu