Treffer 1 - 2 von 2 für Suche 'Amram, Gal', Suchdauer: 0,17s Treffer weiter einschränken
  1. 1
    Efficient Algorithms for Omega-Regular Energy Games
    von Amram, Gal
    Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Adapting Behaviors via Reactive Synthesis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: