Complexity of Canadian traveler problem variants. - Dror Fried; Solomon Eyal Shimony; Amit Benbassat; Cenny Wenner (Theor. Comput. Sci., 2013)

This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. - Morteza Lahijanian; Shaull Almagor; Dror Fried; Lydia E. Kavraki; Moshe Y. Vardi (AAAI, 2015)

From Weighted to Unweighted Model Counting. - Supratik Chakraborty; Dror Fried; Kuldeep S. Meel; Moshe Y. Vardi (IJCAI, 2015)

Repeated-task Canadian Traveler Problem. - Zahy Bnaya; Ariel Felner; Dror Fried; Olga Maksin; Solomon Eyal Shimony (AI Commun., 2015)

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. - Kuldeep S. Meel; Moshe Y. Vardi; Supratik Chakraborty; Daniel J. Fremont; Sanjit A. Seshia; Dror Fried; Alexander Ivrii; Sharad Malik (AAAI Workshop: Beyond NP, 2016)

BDD-Based Boolean Functional Synthesis. - Dror Fried; Lucas M. Tabajara; Moshe Y. Vardi (CAV (2), 2016)

On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks. - Amir Menczel; Gera Weiss; Dror Fried (SwSTE, 2016)

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. - Morteza Lahijanian; Matthew R. Maly; Dror Fried; Lydia E. Kavraki; Hadas Kress-Gazit; Moshe Y. Vardi (IEEE Trans. Robotics, 2016)

An optimal approximation of discrete random variables with respect to the Kolmogorov distance. - Liat Cohen; Dror Fried; Gera Weiss (CoRR, 2018)

Transformations of Boolean Functions. - Jeffrey M. Dudek; Dror Fried (FSTTCS, 2019)

Taming Discrete Integration via the Boon of Dimensionality. - Jeffrey M. Dudek; Dror Fried; Kuldeep S. Meel (NeurIPS, 2020)

Adapting Behaviors via Reactive Synthesis. - Gal Amram; Suguman Bansal; Dror Fried; Lucas Martinelli Tabajara; Moshe Y. Vardi; Gera Weiss (CAV (1), 2021)

Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions. - Tali Boneh-Shitrit; Shir Amir; Annika Bremhorst; Daniel S. Mills; Stefanie Riemer; Dror Fried; Anna Zamansky (CoRR, 2022)

Sequential Relational Decomposition. - Dror Fried; Axel Legay; Joël Ouaknine; Moshe Y. Vardi (Log. Methods Comput. Sci., 2022)

Functional synthesis via input-output separation. - Supratik Chakraborty; Dror Fried; Lucas M. Tabajara; Moshe Y. Vardi (Formal Methods Syst. Des., 2022)

AllSAT for Combinational Circuits. - Dror Fried; Alexander Nadel; Yogev Shalmon (SAT, 2023)

Algorithmic Foundations of Inexact Computing. - John Augustine; Dror Fried; Krishna V. Palem; Duc-Hung Pham; Anshumali Shrivastava (CoRR, 2023)

Mimicking Behaviors in Separated Domains. - Giuseppe De Giacomo; Dror Fried; Fabio Patrizi; Shufang Zhu 001 (J. Artif. Intell. Res., 2023)

Mimicking Behaviors in Separated Domains (Abstract Reprint). - Giuseppe De Giacomo; Dror Fried; Fabio Patrizi; Shufang Zhu 001 (AAAI, 2024)

Entailing Generalization Boosts Enumeration. - Dror Fried; Alexander Nadel; Roberto Sebastiani; Yogev Shalmon (SAT, 2024)

On Dependent Variables in Reactive Synthesis. - S. Akshay 001; Eliyahu Basa; Supratik Chakraborty; Dror Fried (TACAS (1), 2024)