Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 08/15/00 → 07/31/04 |
Funding
- National Science Foundation: $248,495.00
COMPOSITIONAL TECHNIQUES FOR VERIFICATION AND PERFORMANCE ANALYSIS OF REACTIVE PROBABILISTIC SYSTEMS
- Stark, Eugene (PI)
- Smolka, Scott (CoPI)
Project: Research