Résultats de la recherche - Dimitrova, Rayna

  • Résultat(s) 1 - 6 résultats de 6
Affiner les résultats
  1. 1
    Image de couverture de livre

    Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version) Autoría: Heim, Philippe, Dimitrova, Rayna

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

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements Autoría: Dewes, Rafael, Dimitrova, Rayna

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

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    Image de couverture de livre

    Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems Autoría: Heim, Philippe, Dimitrova, Rayna

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

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    Image de couverture de livre

    Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions Autoría: Soudijani, Saleh, Dimitrova, Rayna

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

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Image de couverture de livre

    Modular Attractor Acceleration in Infinite-State Games (Full Version) Autoría: Heim, Philippe, Dimitrova, Rayna

    Publié 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  6. 6
    Image de couverture de livre

    Localized Attractor Computations for Infinite-State Games (Full Version) Autoría: Schmuck, Anne-Kathrin, Heim, Philippe, Dimitrova, Rayna, Nayak, Satya Prakash

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

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: