Quantifying Robustness by Symbolic Model checking
Souheib Baarir
(1)
,
Cécile Braunstein
(2)
,
Emmanuelle Encrenaz
(2)
,
Jean-Michel Ilié
(1)
,
Tun Li
,
Isabelle Mounier
(1)
,
Denis Poitrenaud
(1)
,
Sana Younes
(2)
Cécile Braunstein
- Function : Author
- PersonId : 968375
Emmanuelle Encrenaz
- Function : Author
- PersonId : 9661
- IdHAL : emmanuelle-encrenaz
- IdRef : 13964069X
Tun Li
- Function : Author
Sana Younes
- Function : Author
- PersonId : 980146