Filter
Conference contribution

Search results

  • 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

  • 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
  • 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

  • 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

  • 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

  • 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