Risultati della ricerca - Incer, Inigo

  • Mostra 1 - 8 risultati su 8
Raffina i risultati
  1. 1
    Copertina

    An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras Autoría: Incer, Inigo

    Pubblicazione 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    Composition and Merging of Assume-Guarantee Contracts Are Tensor Products Autoría: Incer, Inigo

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  3. 3
    Copertina

    Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts Autoría: Rouquette, Nicolas, Pinto, Alessandro, Incer, Inigo

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  4. 4
    Copertina

    A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems Autoría: Graebener, Josefine B., Incer, Inigo, Murray, Richard M.

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  5. 5
    Copertina

    Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks Autoría: Incer, Inigo, Csomay-Shanklin, Noel, Ames, Aaron, Murray, Richard M.

    Pubblicazione 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  6. 6
    Copertina

    Context-Aided Variable Elimination for Requirement Engineering Autoría: Incer, Inigo, Benveniste, Albert, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.

    Pubblicazione 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  7. 7
    Copertina

    ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems Autoría: Vin, Eric, Miller, Kyle A., Incer, Inigo, Seshia, Sanjit A., Fremont, Daniel J.

    Pubblicazione 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  8. 8
    Copertina

    Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design Autoría: Incer, Inigo, Badithela, Apurva, Graebener, Josefine, Mallozzi, Piergiuseppe, Pandey, Ayush, Yu, Sheng-Jung, Benveniste, Albert, Caillaud, Benoit, Murray, Richard M., Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A.

    Pubblicazione 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: