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