Dror Fried

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 25

Top Topics

Temporal Planning

Weighted Model Counting

Behavior Recognition

Top Venues

IEEE Trans. Robotics

Publications

Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon
Entailing Generalization Boosts Enumeration. SAT (2024)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI (2024)
S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried
On Dependent Variables in Reactive Synthesis. TACAS (1) (2024)
S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried
On Dependent Variables in Reactive Synthesis. CoRR (2024)
John Augustine, Dror Fried, Krishna V. Palem, Duc-Hung Pham, Anshumali Shrivastava
Algorithmic Foundations of Inexact Computing. CoRR (2023)
Dror Fried, Alexander Nadel, Yogev Shalmon
AllSAT for Combinational Circuits. SAT (2023)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. 77 (2023)
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
Functional synthesis via input-output separation. Formal Methods Syst. Des. 60 (2) (2022)
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18 (1) (2022)
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu
Mimicking Behaviors in Separated Domains. CoRR (2022)
Tali Boneh-Shitrit, Shir Amir, Annika Bremhorst, Daniel S. Mills, Stefanie Riemer, Dror Fried, Anna Zamansky
Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions. CoRR (2022)
Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CoRR (2021)
Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CAV (1) (2021)
Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
Taming Discrete Integration via the Boon of Dimensionality. CoRR (2020)
Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
Taming Discrete Integration via the Boon of Dimensionality. NeurIPS (2020)
Jeffrey M. Dudek, Dror Fried
Transformations of Boolean Functions. FSTTCS (2019)
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Sequential Relational Decomposition. CoRR (2019)
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
Functional Synthesis via Input-Output Separation. FMCAD (2018)
Liat Cohen, Dror Fried, Gera Weiss
An optimal approximation of discrete random variables with respect to the Kolmogorov distance. CoRR (2018)
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
Functional Synthesis via Input-Output Separation. CoRR (2018)
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi
Sequential Relational Decomposition. LICS (2018)
Amir Menczel, Gera Weiss, Dror Fried
On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks. SwSTE (2016)
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP (2016)
Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
BDD-Based Boolean Functional Synthesis. CAV (2) (2016)
Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Trans. Robotics 32 (3) (2016)
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR (2015)
Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. AAAI (2015)
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi
From Weighted to Unweighted Model Counting. IJCAI (2015)
Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, Solomon Eyal Shimony
Repeated-task Canadian Traveler Problem. AI Commun. 28 (3) (2015)
Dror Fried, Solomon Eyal Shimony, Amit Benbassat, Cenny Wenner
Complexity of Canadian traveler problem variants. Theor. Comput. Sci. 487 (2013)
Dror Fried, Solomon Eyal Shimony, Amit Benbassat, Cenny Wenner
Complexity of Canadian Traveler Problem Variants CoRR (2012)
Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, Solomon Eyal Shimony
Repeated-Task Canadian Traveler Problem. SOCS (2011)