( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Perspective Games.

, и . ACM Trans. Comput. Log., 25 (1): 4:1-4:26 (января 2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Orna Ehling

Orna Rosen

Magdalena Ornatowska

Frederik Ornau

Adam S Ornatek

 

Другие публикации лиц с тем же именем

Erratum for "What causes a system to satisfy a specification?"., , и . ACM Trans. Comput. Log., 11 (4): 29:1-29:2 (2010)Synthesis with rational environments., , и . Ann. Math. Artif. Intell., 78 (1): 3-20 (2016)On Relative and Probabilistic Finite Counterability., и . CSL, том 41 из LIPIcs, стр. 175-192. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)High-Quality Synthesis Against Stochastic Environments., и . CSL, том 62 из LIPIcs, стр. 28:1-28:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)The Sensing Cost of Monitoring and Synthesis., , и . FSTTCS, том 45 из LIPIcs, стр. 380-393. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)On Synthesis of Specifications with Arithmetic., и . SOFSEM, том 12011 из Lecture Notes in Computer Science, стр. 161-173. Springer, (2020)Repairing Multi-Player Games., , и . CONCUR, том 42 из LIPIcs, стр. 325-339. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Vacuity detection in temporal model checking., и . Int. J. Softw. Tools Technol. Transf., 4 (2): 224-233 (2003)Multi-player flow games., , и . Auton. Agents Multi Agent Syst., 33 (6): 798-820 (2019)Mutually Accepting Capacitated Automata., и . DCFS, том 12442 из Lecture Notes in Computer Science, стр. 1-12. Springer, (2020)