Login / Signup

L2S: A Framework for Synthesizing the Most Probable Program under a Specification.

Yingfei XiongBo Wang
Published in: ACM Trans. Softw. Eng. Methodol. (2022)
Keyphrases
  • main contribution
  • real time
  • theoretical framework
  • conceptual model
  • learning algorithm
  • multi agent
  • probabilistic model
  • probability distribution
  • bayesian framework
  • conceptual framework
  • program execution