Fatnassi, Wael.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal Verification of AI-controlled Cyber-physical Systems Using Polynomial Approximations : = Constraints Solver, Model Checkers, and Applications.
by:
ProQuest Information and Learning Co.; Fatnassi, Wael.; University of California, Irvine.
(Language materials, manuscript)