Scalable Long-Term Safety Certificate for Large-Scale Systems

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2023
Source ID
10.1109/lcsys.2022.3233842

Entities

People

  • K. Hoshino
  • Yorie Nakahira
  • Zhuoyuan Wang

Organizations

  • Carnegie Mellon University
  • Defense Advanced Research Projects Agency
  • Japan Science and Technology Agency
  • Japan Society for the Promotion of Science
  • Kyoto University
  • Semiconductor Research Corporation
  • United States Department of Transportation