Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

2 Results
authFullName_s : Benjamin Farinier

Introducing robust reachability

Guillaume Girol , Benjamin Farinier , Sébastien Bardin
Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00402-x⟩
Journal articles cea-04102731v1
Image document

Model Generation for Quantified Formulas: A Taint-Based Approach

Benjamin Farinier , Sébastien Bardin , Richard Bonichon , Marie-Laure Potet
2018
Preprints, Working Papers, ... cea-01709306v1