Showing 1 - 3 results of 3 for search 'Tavares, Zenna', query time: 0.02s Refine Results
  1. 1
    Imaginative reasoning in probabilistic programs

    Imaginative reasoning in probabilistic programs by Tavares, Zenna.

    Published 2021
    Get full text
    Thesis
  2. 2
    Combining Functional and Automata Synthesis to Discover Causal Reactive Programs

    Combining Functional and Automata Synthesis to Discover Causal Reactive Programs by Das, Ria, Tenenbaum, Joshua B., Solar-Lezama, Armando, Tavares, Zenna

    Published 2023
    Get full text
    Article
  3. 3
    Parametric Inversion of Programs

    Parametric Inversion of Programs by Morejon, David

    Published 2022
    Other Authors: “…Tavares, Zenna…”
    Get full text
    Thesis

Search Tools: