( en | de | ru )

 

Disambiguierung von "Rubin, Sasha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formula Synthesis in Propositional Dynamic Logic with Shuffle.

, , und . AAAI, Seite 9902-9909. AAAI Press, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sasha Dehghani

Hans Rubin

Helmut Rubin

Grit Rubin

Peter Rubin

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Structures: Overview and Future Directions., und . Journal of Automata, Languages and Combinatorics, 8 (2): 287-301 (2003)Logical aspects of multi-agent systems., , und . Ann. Math. Artif. Intell., 91 (4): 373-374 (August 2023)Verifying omega-Regular Properties of Markov Chains., , und . CAV, Volume 3114 von Lecture Notes in Computer Science, Seite 189-201. Springer, (2004)Synthesizing Best-effort Strategies under Multiple Environment Specifications., , , , und . KR, Seite 42-51. (2021)On CTL* with Graded Path Modalities., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 281-296. Springer, (2015)On the Expressive Power of Communication Primitives in Parameterised Systems., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 313-328. Springer, (2015)Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints., und . AAAI, Seite 5660-5667. AAAI Press, (2022)Nash Equilibria in Concurrent Games with Lexicographic Preferences., , , , und . IJCAI, Seite 1067-1073. ijcai.org, (2017)High-level Programming via Generalized Planning and LTL Synthesis., , , , und . KR, Seite 152-161. (2020)Some Results on Automatic Structures., , und . LICS, Seite 235-. IEEE Computer Society, (2002)