( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.

, , , , , и . CoRR, (2018)

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.

Maria Pulina

Michael Pulina

Cornelia Pulina

Rafael Pulina

Bruno Pulina

 

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

How to Abstract Intelligence? (If Verification Is in Order)., , , и . AAAI Fall Symposia, AAAI Press, (2013)Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals., , , и . CoRR, (2017)Verification and repair of control policies for safe reinforcement learning., , и . Appl. Intell., 48 (4): 886-908 (2018)An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing., и . Fundam. Informaticae, 102 (3-4): 391-427 (2010)Evaluating probabilistic model checking tools for verification of robot control policies., , и . AI Commun., 29 (2): 287-299 (2016)Translation-based approaches for solving disjunctive temporal problems with preferences., , и . Constraints An Int. J., 23 (4): 383-402 (2018)Verification of Neural Networks: Enhancing Scalability Through Pruning., , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2505-2512. IOS Press, (2020)The Ninth QBF Solvers Evaluation - Preliminary Report.. QBF@SAT, том 1719 из CEUR Workshop Proceedings, стр. 1-13. CEUR-WS.org, (2016)Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction., , и . AI*IA, том 9336 из Lecture Notes in Computer Science, стр. 260-273. Springer, (2015)Verification of NNs in the IMOCO4.E Project: Preliminary Results., , и . ETFA, стр. 1-4. IEEE, (2023)