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 | 109 | 2016 |
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 | 87 | 2015 |
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 | 85 | 2013 |
Constrained sampling and counting: Universal hashing meets SAT solving KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ... Workshops at the thirtieth AAAI conference on artificial intelligence, 2016 | 76 | 2016 |
From Weighted to Unweighted Model Counting. S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015 | 75 | 2015 |
BDD-based Boolean functional synthesis D Fried, LM Tabajara, MY Vardi Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 56 | 2016 |
Complexity of Canadian traveler problem variants D Fried, SE Shimony, A Benbassat, C Wenner Theoretical Computer Science 487, 1-16, 2013 | 40 | 2013 |
Repeated-task Canadian traveler problem Z Bnaya, A Felner, D Fried, O Maksin, SE Shimony AI Communications 28 (3), 453-477, 2015 | 23 | 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 | 19 | 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 | 12 | 2018 |
AllSAT for combinational circuits D Fried, A Nadel, Y Shalmon 26th International Conference on Theory and Applications of Satisfiability …, 2023 | 7 | 2023 |
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 | 6 | 2022 |
Taming discrete integration via the boon of dimensionality J Dudek, D Fried, KS Meel Advances in Neural Information Processing Systems 33, 1071-1082, 2020 | 6 | 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 |
Theoretical Aspects of the Generalized Canadian Traveler Problem D Fried Ben-Gurion University of the Negev, 2013 | 2 | 2013 |
On the decidability and complexity of metric temporal logic over finite words J Worrell Logical Methods in Computer Science, Citeseer, 2007 | 2 | 2007 |
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 | 1 | 2024 |
Entailing Generalization Boosts Enumeration D Fried, A Nadel, R Sebastiani, Y Shalmon 27th International Conference on Theory and Applications of Satisfiability …, 2024 | 1 | 2024 |
Optimal Policies for Special Cases of the Canadian Traveler Problem D Fried, SE Shimony, A Felner Germany, 2010 | 1 | 2010 |
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 |