Research output per year
Research output per year
Search results
-
2021
Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification.
Katz, G., 2021, p. 1. 1 p.Research output: Contribution to conference › Abstract › peer-review
Open Access -
2020
Reinforcement Learning Technique for Finding the Feedback Capacity
Aharoni, Z., Sabag, O., Permuter, H. H., Lapidoth, A. (Editor) & Moser, S. M. (Editor), 26 Feb 2020.Research output: Contribution to conference › Abstract › peer-review
Open Access