Dror Fried

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