Login / Signup
Feasibility analysis for robustness quantification by symbolic model checking.
Souheib Baarir
Cécile Braunstein
Emmanuelle Encrenaz
Jean-Michel Ilié
Isabelle Mounier
Denis Poitrenaud
Sana Younès
Published in:
Formal Methods Syst. Des. (2011)
Keyphrases
</>
symbolic model checking
machine learning
reinforcement learning
formal analysis