דרור פריד

ד"ר

20112024

نتاج الأبحاث سنويًا

نتائج البحث

  • 2024

    On Dependent Variables in Reactive Synthesis

    Akshay, S., Basa, E., Chakraborty, S. & Fried, D., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (المحررون). Springer Science and Business Media Deutschland GmbH, صفحة 123-143 21 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 14570 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • 2023

    AllSAT for Combinational Circuits

    Fried, D., Nadel, A. & Shalmon, Y., أغسطس 2023, 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023. Mahajan, M. & Slivovsky, F. (المحررون). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, صفحة 9:1-9:18 18 صفحة 9. (Leibniz International Proceedings in Informatics, LIPIcs; المجلد 271).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Mimicking Behaviors in Separated Domains

    De Giacomo, G., Fried, D., Patrizi, F. & Zhu, S., 2023, في: Journal of Artificial Intelligence Research. 77, صفحة 1087-1112 26 صفحة

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • 2022

    Functional synthesis via input–output separation

    Chakraborty, S., Fried, D., Tabajara, L. M. & Vardi, M. Y., أبريل 2022, في: Formal Methods in System Design. 60, 2, صفحة 228-258 31 صفحة, 2.

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • SEQUENTIAL RELATIONAL DECOMPOSITION

    Fried, D., Legay, A., Ouaknine, J. & Vardi, M. Y., 2022, في: Logical Methods in Computer Science. 18, 1, صفحة 37:1-37:29 1.

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • 2021

    Adapting Behaviors via Reactive Synthesis

    Amram, G., Bansal, S., Fried, D., Tabajara, L. M., Vardi, M. Y. & Weiss, G., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (المحررون). Springer Science and Business Media Deutschland GmbH, صفحة 870-893 24 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 12759 LNCS).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • 2020

    Taming discrete integration via the boon of dimensionality

    Dudek, J. M., Fried, D. & Meel, K. S., 2020, في: Advances in Neural Information Processing Systems. 2020-December

    نتاج البحث: نشر في مجلةمقالة من مؤنمرمراجعة النظراء

  • 2019

    Transformations of Boolean functions

    Dudek, J. M. & Fried, D., ديسمبر 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (المحررون). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; المجلد 150).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 2018

    Functional Synthesis via Input-Output Separation

    Chakraborty, S., Fried, D., Tabajara, L. M. & Vardi, M. Y., 2 يوليو 2018, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (المحررون). Institute of Electrical and Electronics Engineers Inc., صفحة 139-147 9 صفحة 8603000. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • Sequential relational decomposition

    Fried, D., Legay, A., Ouaknine, J. & Vardi, M. Y., 9 يوليو 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., صفحة 432-441 10 صفحة (Proceedings - Symposium on Logic in Computer Science).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر
  • 2016

    BDD-based boolean functional synthesis

    Fried, D., Tabajara, L. M. & Vardi, M. Y., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Chaudhuri, S. & Farzan, A. (المحررون). Springer Verlag, صفحة 402-421 20 صفحة (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); المجلد 9780).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Constrained sampling and counting: Universal hashing meets SAT solving

    Meel, K. S., Vardi, M. Y., Chakraborty, S., Fremont, D. J., Seshia, S. A., Fried, D., Ivrii, A. & Malik, S., 2016, WS-16-01: Artificial Intelligence Applied to Assistive Technologies and Smart Environments; WS-16-02: AI, Ethics, and Society; WS-16-03: Artificial Intelligence for Cyber Security; WS-16-04: Artificial Intelligence for Smart Grids and Smart Buildings; WS-16-05: Beyond NP; WS-16-06: Computer Poker and Imperfect Information Games; WS-16-07: Declarative Learning Based Programming; WS-16-08: Expanding the Boundaries of Health Informatics Using AI; WS-16-09: Incentives and Trust in Electronic Communities; WS-16-10: Knowledge Extraction from Text; WS-16-11: Multiagent Interaction without Prior Coordination; WS-16-12: Planning for Hybrid Systems; WS-16-13: Scholarly Big Data: AI Perspectives, Challenges, and Ideas; WS-16-14: Symbiotic Cognitive Systems; WS-16-15: World Wide Web and Population Health Intelligence. AI Access Foundation, صفحة 344-351 8 صفحة (AAAI Workshop - Technical Report; المجلد WS-16-01 - WS-16-15).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees

    Lahijanian, M., Maly, M. R., Fried, D., Kavraki, L. E., Kress-Gazit, H. & Vardi, M. Y., يونيو 2016, في: IEEE Transactions on Robotics. 32, 3, صفحة 583-599 17 صفحة, 7469409.

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks

    Menczel, A., Weiss, G. & Fried, D., 18 يوليو 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. Institute of Electrical and Electronics Engineers Inc., صفحة 125-134 10 صفحة 7515420. (Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 2015

    From weighted to unweighted model counting

    Chakraborty, S., Fried, D., Meel, K. S. & Vardi, M. Y., 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (المحررون). International Joint Conferences on Artificial Intelligence, صفحة 689-695 7 صفحة (IJCAI International Joint Conference on Artificial Intelligence; المجلد 2015-January).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • Repeated-task Canadian traveler problem

    Bnaya, Z., Felner, A., Fried, D., Maksin, O. & Shimony, S. E., 17 يوليو 2015, في: AI Communications. 28, 3, صفحة 453-477 25 صفحة

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction

    Lahijanian, M., Almagor, S., Fried, D., Kavraki, L. E. & Vardi, M. Y., 1 يونيو 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, صفحة 3664-3671 8 صفحة (Proceedings of the National Conference on Artificial Intelligence; المجلد 5).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

  • 2013

    Complexity of Canadian traveler problem variants

    Fried, D., Shimony, S. E., Benbassat, A. & Wenner, C., 27 مايو 2013, في: Theoretical Computer Science. 487, صفحة 1-16 16 صفحة

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • The human gene connectome as a map of short cuts for morbid allele discovery

    Itan, Y., Zhang, S. Y., Vogt, G., Abhyankar, A., Herman, M., Nitschke, P., Fried, D., Quintana-Murci, L., Abel, L. & Casanova, J. L., 2 أبريل 2013, في: Proceedings of the National Academy of Sciences of the United States of America. 110, 14, صفحة 5558-5563 6 صفحة

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • 2011

    Repeated-task Canadian traveler problem

    Bnaya, Z., Felner, A., Shimony, S. E., Fried, D. & Maksin, O., 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. صفحة 24-30 7 صفحة (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء