MaxSAT-based temporal logic inference from noisy data

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 06, 2022
Source ID
10.1007/s11334-022-00444-8

Entities

People

  • Daniel Neider
  • Jean-Raphaël Gaglione
  • Rajarshi Roy
  • Ufuk Topcu
  • Zhe Xu

Organizations

  • Defense Advanced Research Projects Agency
  • German Research Foundation
  • National Science Foundation
  • United States Army Research Laboratory

Tags

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms