icon-carat-right menu search cmu-wordmark
Carnegie Mellon University cmu-wordmark
Search
Mobile Menu
  1. Home
  2. Publications
  3. Digital Library
  4. Assuring Non-Deterministic Software-Based Systems

Assuring Non-Deterministic Software-Based Systems

October 23, 2018 • Presentation
By
Dionisio de Niz
This Research Review 2018 presentation discusses explainable AI and runtime assurance enforcer research.
Publisher

Software Engineering Institute

Topic or Tag
Autonomy and Counter-Autonomy Cyber-Physical Systems System Verification and Validation

Abstract

Research aiming to provide solutions for the problem of validating the behavior of new technologies.

SHARE
Download PDF
Part of a Collection

CMU SEI 2018 Research Review

Ask a question about this Presentation
  • Report a Vulnerability to CERT/CC
  • Subscribe to SEI Bulletin
  • Request Permission to Use SEI Materials
sei

Advancing Software for National Security
Sponsored by the Department of War, the SEI is a federally funded research and development center managed by Carnegie Mellon University.

Main Office
4500 Fifth Avenue
Pittsburgh, PA 15213-2612
412-268-5800
About Our Work Publications News and Events Education and Outreach Careers
Digital library Blog Podcasts
Facebook LinkedIn X YouTube

2026 Carnegie Mellon University

  • Contact Us
  • Office Locations
  • Privacy Notice
  • Legal
  • www.cmu.edu
  • 2026 Carnegie Mellon University