Fried, Dror

5 publications

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

JAIR 2023 Mimicking Behaviors in Separated Domains Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu

NeurIPS 2020 Taming Discrete Integration via the Boon of Dimensionality Jeffrey Dudek, Dror Fried, Kuldeep S Meel

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

AAAI 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