• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version).

Hadar FrenkelOrna GrumbergCorina S. PasareanuSarai Sheinvald
Published in: CoRR (2022)
Keyphrases
  • key properties
  • main contribution
  • bayesian framework
  • desirable properties
  • framework enables