( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient Neural Network Analysis with Sum-of-Infeasibilities.

, , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 143-163. Springer, (2022)

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.

Guy Katz

Olga Guyot

Thomas Guyet

Karl Guyot

Peter Guyot

 

Другие публикации лиц с тем же именем

Wise Computing: Towards Endowing System Development with True Wisdom., , , и . CoRR, (2015)ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems., , , , , , и . Sci. Comput. Program., (2017)On composing and proving the correctness of reactive behavior., , , , , и . EMSOFT, стр. 13:1-13:10. IEEE, (2013)On the Succinctness of Idioms for Concurrent Programming., , , , и . CONCUR, том 42 из LIPIcs, стр. 85-99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Global optimization of objective functions represented by ReLU networks., , , , , , и . Mach. Learn., 112 (10): 3685-3712 (октября 2023)DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace., , , и . CoRR, (2024)Relaxing Synchronization Constraints in Behavioral Programs., , и . LPAR, том 8312 из Lecture Notes in Computer Science, стр. 355-372. Springer, (2013)Toward Scalable Verification for Safety-Critical Deep Networks., , , , , и . CoRR, (2018)Efficient Distributed Execution of Multi-component Scenario-Based Models., , , , , и . MODELSWARD (Revised Selected Papers), том 880 из Communications in Computer and Information Science, стр. 449-483. Springer, (2017)Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks., , , , и . CAV (1), том 10426 из Lecture Notes in Computer Science, стр. 97-117. Springer, (2017)