Case Studies in Data-Driven Verification of Dynamical Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 11, 2016
Source ID
10.1145/2883817.2883846

Entities

People

  • Alexandar Kozarev
  • John Quindlen
  • Jonathan How
  • Ufuk Topcu

Organizations

  • Air Force Research Laboratory
  • Army Research Office
  • Defense Advanced Research Projects Agency
  • Massachusetts Institute of Technology
  • National Science Foundation
  • Office of Naval Research
  • University of Texas at Austin