Follow
Dror Fried
Dror Fried
Verified email at openu.ac.il
Title
Cited by
Cited by
Year
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
1092016
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
872015
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
852013
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
762016
From Weighted to Unweighted Model Counting.
S Chakraborty, D Fried, KS Meel, MY Vardi
IJCAI, 689-695, 2015
752015
BDD-based Boolean functional synthesis
D Fried, LM Tabajara, MY Vardi
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
562016
Complexity of Canadian traveler problem variants
D Fried, SE Shimony, A Benbassat, C Wenner
Theoretical Computer Science 487, 1-16, 2013
402013
Repeated-task Canadian traveler problem
Z Bnaya, A Felner, D Fried, O Maksin, SE Shimony
AI Communications 28 (3), 453-477, 2015
232015
Functional synthesis via input–output separation
S Chakraborty, D Fried, LM Tabajara, MY Vardi
Formal Methods in System Design 60 (2), 228-258, 2022
192022
Sequential relational decomposition
D Fried, A Legay, J Ouaknine, MY Vardi
Proceedings of the 33rd annual ACM/IEEE Symposium on Logic in computer …, 2018
122018
AllSAT for combinational circuits
D Fried, A Nadel, Y Shalmon
26th International Conference on Theory and Applications of Satisfiability …, 2023
72023
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
62022
Taming discrete integration via the boon of dimensionality
J Dudek, D Fried, KS Meel
Advances in Neural Information Processing Systems 33, 1071-1082, 2020
62020
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
42021
Theoretical Aspects of the Generalized Canadian Traveler Problem
D Fried
Ben-Gurion University of the Negev, 2013
22013
On the decidability and complexity of metric temporal logic over finite words
J Worrell
Logical Methods in Computer Science, Citeseer, 2007
22007
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
12024
Entailing Generalization Boosts Enumeration
D Fried, A Nadel, R Sebastiani, Y Shalmon
27th International Conference on Theory and Applications of Satisfiability …, 2024
12024
Optimal Policies for Special Cases of the Canadian Traveler Problem
D Fried, SE Shimony, A Felner
Germany, 2010
12010
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
The system can't perform the operation now. Try again later.
Articles 1–20