Summaries - Office of Research & Innovation
Research Summaries
Back Runtime Verification of Complex Probabilistic Agent-Based Systems
| Fiscal Year | 2011 |
| Division | Graduate School of Operational & Information Sciences |
| Department | Computer Science |
| Investigator(s) | Drusinsky, Doron |
| Sponsor | Defense Threat Reduction Agency (DoD) |
| Summary | Investigate theory and models necessary for performing Runtime Verification (RV) of noisy, multi-agent temporal systems. |
| Keywords | |
| Publications | Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal |
| Data | Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal |