Showing 1 - 4 results of 4 for search 'Bastani, Osbert', query time: 0.04s Refine Results
  1. 1
    Probabilistic verification of fairness properties via concentration

    Probabilistic verification of fairness properties via concentration by Bastani, Osbert, Zhang, Xin, Solar-Lezama, Armando

    Published 2021
    Get full text
    Article
  2. 2
    Verifiable reinforcement learning via policy extraction

    Verifiable reinforcement learning via policy extraction by Solar Lezama, Armando, Pu, Yewen, Bastani, Osbert

    Published 2021
    Get full text
    Article
  3. 3
    SkyQuery: an aerial drone video sensing platform

    SkyQuery: an aerial drone video sensing platform by Bastani, Favyen, He, Songtao, Jiang, Ziwen, Bastani, Osbert, Madden, Sam

    Published 2022
    Get full text
    Article
  4. 4
    Improved modeling of RNA-binding protein motifs in an interpretable neural model of RNA splicing

    Improved modeling of RNA-binding protein motifs in an interpretable neural model of RNA splicing by Gupta, Kavi, Yang, Chenxi, McCue, Kayla, Bastani, Osbert, Sharp, Phillip A., Burge, Christopher B., Solar-Lezama, Armando

    Published 2024
    Get full text
    Article

Search Tools: