( en | de | ru )

 

Disambiguation of "Amir, Guy"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Scalable Verification of RL-Driven Systems.

, , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Olga Guyot

Thomas Guyet

Karl Guyot

Peter Guyot

Irene Guy

 

Other publications of authors with the same name

Towards Scalable Verification of RL-Driven Systems., , and . CoRR, (2021)Verifying Learning-Based Robotic Navigation Systems., , , , , , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 607-627. Springer, (2023)Marabou 2.0: A Versatile Formal Analyzer of Neural Networks., , , , , , , , , and 7 other author(s). CAV (2), volume 14682 of Lecture Notes in Computer Science, page 249-264. Springer, (2024)Towards Scalable Verification of Deep Reinforcement Learning., , and . FMCAD, page 193-203. IEEE, (2021)Safe and Reliable Training of Learning-Based Aerospace Controllers., , , , , , , , , and 3 other author(s). CoRR, (2024)Neural Network Robustness as a Verification Property: A Principled Case Study., , , , , , and . CAV (1), volume 13371 of Lecture Notes in Computer Science, page 219-231. Springer, (2022)Formally Explaining Neural Networks within Reactive Systems., , , , and . FMCAD, page 1-13. IEEE, (2023)An SMT-Based Approach for Verifying Binarized Neural Networks., , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 203-222. Springer, (2021)Verification-Guided Shielding for Deep Reinforcement Learning., , , , , and . CoRR, (2024)Verifying the Generalization of Deep Learning to Out-of-Distribution Domains., , , , and . J. Autom. Reason., 68 (3): 17 (September 2024)