E-LIB Suche - Ergebnisse für: Bastani, Osbert

1

Improved modeling of RNA-binding protein motifs in an inter..:

Gupta, Kavi ; Yang, Chenxi ; McCue, Kayla...
Genome Biology. 25 (2024) 1 - p. , 2024

Link: https://doi.org/10.1186/..

2

Advancing Glaucoma Care: Integrating Artificial Intelligenc..:

Zhu, Yan ; Salowe, Rebecca ; Chow, Caven...
Bioengineering. 11 (2024) 2 - p. 122 , 2024

Link: https://doi.org/10.3390/..

3

Optimal Program Synthesis via Abstract Interpretation:

Mell, Stephen ; Zdancewic, Steve ; Bastani, Osbert
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 457-481 , 2024

Link: https://doi.org/10.1145/..

4

Fast and Reliable Program Synthesis via User Interaction:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Chen, Yanju ; Wang, Chenglong ; Wang, Xinyu.. - p. 963-975 , 2023

Link: https://doi.org/10.1109/..

5

Policy Synthesis and Reinforcement Learning for Discounted ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Alur, Rajeev ; Bastani, Osbert ; Jothimurugan, Kishor... - p. 415-435 , 2023

Link: https://doi.org/10.1007/..

6

Angelic Patches for Improving Third-Party Object Detector P..:

, In: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR),

Si, Wenwen ; Li, Shuo ; Park, Sangdon.. - p. 24638-24647 , 2023

Link: https://doi.org/10.1109/..

7

Synthesizing Trajectory Queries from Examples:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Mell, Stephen ; Bastani, Favyen ; Zdancewic, Steve. - p. 459-484 , 2023

Link: https://doi.org/10.1007/..

8

Interpretable, Verifiable, and Robust Reinforcement Learnin..:

, In: xxAI - Beyond Explainable AI; Lecture Notes in Computer Science,

Bastani, Osbert ; Inala, Jeevana Priya ; Solar-Lezama, Armando - p. 207-228 , 2022

Link: https://doi.org/10.1007/..

9

A Framework for Transforming Specifications in Reinforcemen..:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Alur, Rajeev ; Bansal, Suguman ; Bastani, Osbert. - p. 604-624 , 2022

Link: https://doi.org/10.1007/..

10

Specification-Guided Learning of Nash Equilibria with High ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Jothimurugan, Kishor ; Bansal, Suguman ; Bastani, Osbert. - p. 343-363 , 2022

Link: https://doi.org/10.1007/..

11

Likelihood-Based Diverse Sampling for Trajectory Forecastin:

, In: 2021 IEEE/CVF International Conference on Computer Vision (ICCV),

Ma, Yecheng Jason ; Inala, Jeevana Priya ; Jayaraman, Dinesh. - p. 13259-13268 , 2021

Link: https://doi.org/10.1109/..

12

Compositional Learning and Verification of Neural Network C..:

Ivanov, Radoslav ; Jothimurugan, Kishor ; Hsu, Steve...
ACM Transactions on Embedded Computing Systems. 20 (2021) 5s - p. 1-26 , 2021

Link: https://doi.org/10.1145/..

13

Compositional Learning and Verification of Neural Network C..:

Ivanov, Radoslav ; Jothimurugan, Kishor ; Hsu, Steve...
ACM Transactions on Embedded Computing Systems (TECS). 20 (2021) 5s - p. 1-26 , 2021

Link: https://dl.acm.org/doi/1..

14

SkyQuery: an aerial drone video sensing platform:

, In: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Bastani, Favyen ; He, Songtao ; Jiang, Ziwen.. - p. 56-67 , 2021

Link: https://dl.acm.org/doi/1..

15

Web question answering with neurosymbolic program synthesis:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Chen, Qiaochu ; Lamoreaux, Aaron ; Wang, Xinyu... - p. 328-343 , 2021

Link: https://dl.acm.org/doi/1..