Using Symbolic States to Infer Numerical Invariants

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 01, 2022
Source ID
10.1109/tse.2021.3106964

Entities

People

  • KimHao Nguyen
  • Matthew B. Dwyer
  • ThanhVu Nguyen

Organizations

  • Army Research Office
  • George Mason University
  • National Science Foundation
  • University of Nebraska–Lincoln
  • University of Virginia

Tags

Technology Areas

  • AI & ML
  • AI & ML - Bayesian Inference