Login / Signup
Proving partial-correctness and invariance properties of transition-system models.
Vlad Rusu
Gilles Grimaud
Michaël Hauspie
Published in:
Sci. Comput. Program. (2020)
Keyphrases
</>
invariance properties
pattern recognition
probabilistic model