Treffer 1 - 20 von 73 für Suche 'Almagor, Shaull', Suchdauer: 0,69s Treffer weiter einschränken
  1. 1
    First-Order Orbit Queries

    First-Order Orbit Queries von Almagor, Shaull, Ouaknine, Joël, Worrell, James

    Veröffentlicht in Theory of computing systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Simulation by Rounds of Letter-to-Letter Transducers

    Simulation by Rounds of Letter-to-Letter Transducers von Nassar, Antonio Abu, Almagor, Shaull


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Jumping Automata over Infinite Words

    Jumping Automata over Infinite Words von Almagor, Shaull, Yizhaq, Omer

    Veröffentlicht in Theory of computing systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Jumping Automata Must Pay

    Jumping Automata Must Pay von Almagor, Shaull, Salgado, Ishai


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Temporal segmentation in multi agent path finding with applications to explainability

    Temporal segmentation in multi agent path finding with applications to explainability von Almagor, Shaull, Kottinger, Justin, Lahijanian, Morteza

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    What's decidable about weighted automata?

    What's decidable about weighted automata? von Almagor, Shaull, Boker, Udi, Kupferman, Orna

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Formally Reasoning About Quality

    Formally Reasoning About Quality von Almagor, Shaull, Boker, Udi, Kupferman, Orna

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Latticed-LTL synthesis in the presence of noisy inputs

    Latticed-LTL synthesis in the presence of noisy inputs von Almagor, Shaull, Kupferman, Orna

    Veröffentlicht in Discrete event dynamic systems

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Jumping Automata over Infinite Words

    Jumping Automata over Infinite Words von Almagor, Shaull, Yizhaq, Omer


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    O-Minimal Invariants for Discrete-Time Dynamical Systems

    O-Minimal Invariants for Discrete-Time Dynamical Systems von Almagor, Shaull, Chistikov, Dmitry, Ouaknine, Joël, Worrell, James


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Deciding ω-regular properties on linear recurrence sequences

    Deciding ω-regular properties on linear recurrence sequences von Almagor, Shaull, Karimov, Toghrul, Kelmendi, Edon, Ouaknine, Joël, Worrell, James


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    What’s Decidable about Weighted Automata?

    What’s Decidable about Weighted Automata? von Almagor, Shaull, Boker, Udi, Kupferman, Orna


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Jumping Automata Must Pay

    Jumping Automata Must Pay von Almagor, Shaull, Salgado, Ishai

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Formalizing and Reasoning about Quality

    Formalizing and Reasoning about Quality von Almagor, Shaull, Boker, Udi, Kupferman, Orna


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Determinization of Integral Discounted-Sum Automata is Decidable

    Determinization of Integral Discounted-Sum Automata is Decidable von Almagor, Shaull, Dafni, Neta

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Process Symmetry in Probabilistic Transducers

    Process Symmetry in Probabilistic Transducers von Almagor, Shaull

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Jumping Automata over Infinite Words

    Jumping Automata over Infinite Words von Almagor, Shaull, Yizhaq, Omer

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Max and Sum Semantics for Alternating Weighted Automata

    Max and Sum Semantics for Alternating Weighted Automata von Almagor, Shaull, Kupferman, Orna


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Concurrent Games with Multiple Topologies

    Concurrent Games with Multiple Topologies von Almagor, Shaull, Guendelman, Shai

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Determinization of One-Counter Nets

    Determinization of One-Counter Nets von Almagor, Shaull, Yeshurun, Asaf

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: