Dror Fried

According to our database, Dror Fried authored at least 20 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

On Dependent Variables in Reactive Synthesis.

S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Mimicking Behaviors in Separated Domains (Abstract Reprint).

Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Mimicking Behaviors in Separated Domains.

Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

J. Artif. Intell. Res., 2023

Algorithmic Foundations of Inexact Computing.

John Augustine, Dror Fried, Krishna V. Palem, Duc-Hung Pham, Anshumali Shrivastava

CoRR, 2023

AllSAT for Combinational Circuits.

Dror Fried, Alexander Nadel, Yogev Shalmon

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022

Functional synthesis via input-output separation.

Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

Formal Methods Syst. Des., April, 2022

Sequential Relational Decomposition.

Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi

Log. Methods Comput. Sci., 2022

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

2021

Adapting Behaviors via Reactive Synthesis.

Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Taming Discrete Integration via the Boon of Dimensionality.

Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Transformations of Boolean Functions.

Jeffrey M. Dudek, Dror Fried

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2018

An optimal approximation of discrete random variables with respect to the Kolmogorov distance.

Liat Cohen, Dror Fried, Gera Weiss

CoRR, 2018

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

On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks.

Amir Menczel, Gera Weiss, Dror Fried

Proceedings of the 2016 IEEE International Conference on Software Science, 2016

BDD-Based Boolean Functional Synthesis.

Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

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

Proceedings of the Beyond NP, 2016

2015

Repeated-task Canadian Traveler Problem.

Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, Solomon Eyal Shimony

AI Commun., 2015

From Weighted to Unweighted Model Counting.

Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2013

Complexity of Canadian traveler problem variants.

Dror Fried, Solomon Eyal Shimony, Amit Benbassat, Cenny Wenner

Theor. Comput. Sci., 2013