![]() | ![]() |
1994 | ||
---|---|---|
2 | Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli: Methodology and System for Practical Formal Verification of Reactive Hardware. CAV 1994: 182-193 | |
1991 | ||
1 | EE | Esther Levin, Raanan Gewirtzman, Gideon F. Inbar: Neural network architecture for adaptive system modeling and control. Neural Networks 4(2): 185-191 (1991) |
1 | Ilan Beer | [2] |
2 | Shoham Ben-David | [2] |
3 | Daniel Geist | [2] |
4 | Gideon F. Inbar | [1] |
5 | Esther Levin | [1] |
6 | Michael Yoeli | [2] |