Dror Fried

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees

Morteza Lahijanian, Matthew R. Maly, Dror Fried et al. · IEEE Transactions on Robotics · 2016 · 93 citations

Engineering, Intelligent Robotics, General Continuous Dynamics +23

The human gene connectome as a map of short cuts for morbid allele discovery

Yuval Itan, Shen‐Ying Zhang, Guillaume Vogt et al. · Proceedings of the National Academy of Sciences · 2013 · 86 citations · Full text

Short Cuts, Genetics, Genetic Epidemiology +21

This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction

Morteza Lahijanian, Shaull Almagor, Dror Fried et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 53 citations · Full text

Artificial Intelligence, Engineering, Robot Planning +24

From weighted to unweighted model counting

Supratik Chakraborty, Dror Fried, Kuldeep S. Meel et al. · International Conference on Artificial Intelligence · 2015 · 41 citations

Engineering, Verification, Formal Verification +17

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving

Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty et al. · National Conference on Artificial Intelligence · 2015 · 38 citations

Artificial Intelligence, Correctness Guarantees, Engineering +16