Search results

  • 2024

    Entailing Generalization Boosts Enumeration

    Fried, D., Nadel, A., Sebastiani, R. & Shalmon, Y., Aug 2024, 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. Chakraborty, S. & Jiang, J-H. R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 305).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 123-143 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14570 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2023

    AllSAT for Combinational Circuits

    Fried, D., Nadel, A. & Shalmon, Y., Aug 2023, 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023. Mahajan, M. & Slivovsky, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 9:1-9:18 18 p. 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 271).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Mimicking Behaviors in Separated Domains

    De Giacomo, G., Fried, D., Patrizi, F. & Zhu, S., 2023, In: Journal of Artificial Intelligence Research. 77, p. 1087-1112 26 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • 2022

    Functional synthesis via input–output separation

    Chakraborty, S., Fried, D., Tabajara, L. M. & Vardi, M. Y., Apr 2022, In: Formal Methods in System Design. 60, 2, p. 228-258 31 p., 2.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • SEQUENTIAL RELATIONAL DECOMPOSITION

    Fried, D., Legay, A., Ouaknine, J. & Vardi, M. Y., 2022, In: Logical Methods in Computer Science. 18, 1, p. 37:1-37:29 1.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • 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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 870-893 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2020

    Taming discrete integration via the boon of dimensionality

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

    Research output: Contribution to journalConference articlepeer-review

  • 2019

    Transformations of Boolean functions

    Dudek, J. M. & Fried, D., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2018

    Functional Synthesis via Input-Output Separation

    Chakraborty, S., Fried, D., Tabajara, L. M. & Vardi, M. Y., 2 Jul 2018, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 139-147 9 p. 8603000. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Sequential relational decomposition

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 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. (eds.). Springer Verlag, p. 402-421 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9780).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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, p. 344-351 8 p. (AAAI Workshop - Technical Report; vol. WS-16-01 - WS-16-15).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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., Jun 2016, In: IEEE Transactions on Robotics. 32, 3, p. 583-599 17 p., 7469409.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks

    Menczel, A., Weiss, G. & Fried, D., 18 Jul 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. Institute of Electrical and Electronics Engineers Inc., p. 125-134 10 p. 7515420. (Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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. (eds.). International Joint Conferences on Artificial Intelligence, p. 689-695 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Repeated-task Canadian traveler problem

    Bnaya, Z., Felner, A., Fried, D., Maksin, O. & Shimony, S. E., 17 Jul 2015, In: AI Communications. 28, 3, p. 453-477 25 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • 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 Jun 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, p. 3664-3671 8 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 5).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2013

    Complexity of Canadian traveler problem variants

    Fried, D., Shimony, S. E., Benbassat, A. & Wenner, C., 27 May 2013, In: Theoretical Computer Science. 487, p. 1-16 16 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • 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 Apr 2013, In: Proceedings of the National Academy of Sciences of the United States of America. 110, 14, p. 5558-5563 6 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • 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. p. 24-30 7 p. (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review