Author of the publication

On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks.

, , and . FMCAD, page 81-84. IEEE, (2016)

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.

 

Other publications of authors with the same name

On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks., , and . FMCAD, page 81-84. IEEE, (2016)On the Need for Topology-Aware Generative Models for Manifold-Based Defenses., , and . ICLR, OpenReview.net, (2020)Direct Amortized Likelihood Ratio Estimation., , , , and . CoRR, (2023)Model-Centered Assurance for Autonomous Systems., , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 228-243. Springer, (2020)Trust, Resilience and Interpretability of AI Models.. NSV@CAV, volume 11652 of Lecture Notes in Computer Science, page 3-25. Springer, (2019)Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2., , and . ACM Trans. Cyber Phys. Syst., 6 (2): 10:1-10:3 (2022)TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents., , , and . CoRR, (2019)Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance., , , , and . ICAA, page 19-28. IEEE, (2023)Dual-Key Multimodal Backdoors for Visual Question Answering., , , , and . CVPR, page 15354-15364. IEEE, (2022)On Learning Sparse Boolean Formulae for Explaining AI Decisions., , , , and . NFM, volume 10227 of Lecture Notes in Computer Science, page 99-114. (2017)