| Iterative temporal planning in uncertain environments with partial satisfaction guarantees M Lahijanian, MR Maly, D Fried, LE Kavraki, H Kress-Gazit, MY Vardi IEEE Transactions on Robotics 32 (3), 583-599, 2016 | 111 | 2016 |
| The human gene connectome as a map of short cuts for morbid allele discovery Y Itan, SY Zhang, G Vogt, A Abhyankar, M Herman, P Nitschke, D Fried, ... Proceedings of the National Academy of Sciences 110 (14), 5558-5563, 2013 | 89 | 2013 |
| This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction M Lahijanian, S Almagor, D Fried, L Kavraki, M Vardi Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 88 | 2015 |
| Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ... AAAI Workshop: Beyond NP, 2016 | 77 | 2016 |
| From Weighted to Unweighted Model Counting. S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015 | 77 | 2015 |
| BDD-based Boolean functional synthesis D Fried, LM Tabajara, MY Vardi Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 58 | 2016 |
| Complexity of Canadian traveler problem variants D Fried, SE Shimony, A Benbassat, C Wenner Theoretical Computer Science 487, 1-16, 2013 | 42 | 2013 |
| Repeated-task Canadian traveler problem Z Bnaya, A Felner, D Fried, O Maksin, SE Shimony AI Communications 28 (3), 453-477, 2015 | 26 | 2015 |
| Functional synthesis via input–output separation S Chakraborty, D Fried, LM Tabajara, MY Vardi Formal Methods in System Design 60 (2), 228-258, 2022 | 21 | 2022 |
| Sequential relational decomposition D Fried, A Legay, J Ouaknine, MY Vardi Proceedings of the 33rd annual ACM/IEEE Symposium on Logic in computer …, 2018 | 13 | 2018 |
| Deep learning models for automated classification of dog emotional states from facial expressions T Boneh-Shitrit, S Amir, A Bremhorst, DS Mills, S Riemer, D Fried, ... arXiv preprint arXiv:2206.05619, 2022 | 9 | 2022 |
| AllSAT for combinational circuits D Fried, A Nadel, Y Shalmon 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 8 | 2023 |
| Taming discrete integration via the boon of dimensionality J Dudek, D Fried, KS Meel Advances in Neural Information Processing Systems 33, 1071-1082, 2020 | 7 | 2020 |
| Adapting behaviors via reactive synthesis G Amram, S Bansal, D Fried, LM Tabajara, MY Vardi, G Weiss Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 4 | 2021 |
| Entailing generalization boosts enumeration D Fried, A Nadel, R Sebastiani, Y Shalmon 27th International Conference on Theory and Applications of Satisfiability …, 2024 | 3 | 2024 |
| On dependent variables in reactive synthesis S Akshay, E Basa, S Chakraborty, D Fried International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
| Theoretical Aspects of the Generalized Canadian Traveler Problem D Fried Ben-Gurion University of the Negev, 2013 | 2 | 2013 |
| Optimal Policies for Special Cases of the Canadian Traveler Problem D Fried, SE Shimony, A Felner Preprint, 2010 | 2 | 2010 |
| Mimicking Behaviors in Separated Domains G De Giacomo, D Fried, F Patrizi, S Zhu Journal of Artificial Intelligence Research 77, 1087-1112, 2023 | 1 | 2023 |
| Mimicking behaviors in separated domains (abstract reprint) G De Giacomo, D Fried, F Patrizi, S Zhu Proceedings of the AAAI Conference on Artificial Intelligence 38 (20), 22695 …, 2024 | | 2024 |
