Krzysztof Krawiec


Home

Research:

edit SideBar

@INPROCEEDINGS { ijcai2018-742,
    AUTHOR = { Krzysztof Krawiec and Iwo B{\l}{\k a}dek and Jerry Swan and John H. Drake },
    BOOKTITLE = { Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI-18} },
    DOI = { 10.24963/ijcai.2018/742 },
    MONTH = { 7 },
    PAGES = { 5304--5308 },
    PUBLISHER = { International Joint Conferences on Artificial Intelligence Organization },
    TITLE = { Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs },
    URL = { https://doi.org/10.24963/ijcai.2018/742 },
    YEAR = { 2018 },
    1 = { https://doi.org/10.24963/ijcai.2018/742 },
}


Powered by PmWiki