Login / Signup
Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version).
Hadar Frenkel
Orna Grumberg
Corina S. Pasareanu
Sarai Sheinvald
Published in:
CoRR (2022)
Keyphrases
</>
key properties
main contribution
bayesian framework
desirable properties
framework enables