Orna Kupferman

2024

Synthesis with Privacy Against an Observer

Kupferman, O., Leshkowitz, O. & Shamash Halevy, N., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 256-277 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14574 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

2023

Games with Trading of Control

Kupferman, O. & Shenwald, N., Sep 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J.-F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 19:1-19:17 17 p. 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Monotonicity Characterizations of Regular Languages

Feinstein, Y. & Kupferman, O., Dec 2023, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023. Bouyer, P., Srinivasan, S. & Srinivasan, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 26:1-26:19 19 p. 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 284).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

On Semantically-Deterministic Automata

Radi, B. A. & Kupferman, O., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 109:1-109:20 20 p. 109. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 261).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

2022

CONCUR Test-Of-Time Award 2022 (Invited Paper).

Castellani, I., Gastin, P., Kupferman, O., Randour, M. & Sangiorgi, D., 1 Sep 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1:1-1:3 3 p. 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 243).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Energy Games with Resource-Bounded Environments

Kupferman, O. & Halevy, N. S., 1 Sep 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 19:1-19:23 23 p. 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 243).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Lazy Regular Sensing

Kupferman, O. & Petruschka, A., 2022, Descriptional Complexity of Formal Systems - 24th IFIP WG 1.02 International Conference, DCFS 2022, Proceedings. Han, Y.-S. & Vaszil, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 155-169 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13439 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Minimization of Automata for Liveness Languages

Abu Radi, B. & Kupferman, O., 2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer Science and Business Media Deutschland GmbH, p. 191-207 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Synthesis of Privacy-Preserving Systems

Kupferman, O. & Leshkowitz, O., 1 Dec 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 42:1-42:23 23 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 250).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

The Complexity of LTL Rational Synthesis

Kupferman, O. & Shenwald, N., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 25-45 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13243 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

7 Scopus citations

2021

A Hierarchy of Nondeterminism

Radi, B. A., Kupferman, O. & Leshkowitz, O., 1 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 85:1-85:21 21 p. 85. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

Certifying DFA Bounds for Recognition and Separation

Kupferman, O., Lavee, N. & Sickert, S., 2021, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Proceedings. Hou, Z. & Ganesh, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 48-64 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12971 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Certifying inexpressibility

Kupferman, O. & Sickert, S., 2021, Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Proceedings. Kiefer, S. & Tasson, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 385-405 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12650).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

2 Scopus citations

Perspective Multi-Player Games

Kupferman, O. & Shenwald, N., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Institute of Electrical and Electronics Engineers Inc., p. 1-13 13 p. 9470616. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

2020

Coverage and vacuity in network formation games

Bielous, G. & Kupferman, O., Jan 2020, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020. Fernandez, M. & Muscholl, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 152).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

From Correctness to High Quality

Kupferman, O., 22 Dec 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design: FMCAD 2020. Ivrii, A. & Strichman, O. (eds.). Wien, Austria: TU Wien Academic Press, p. 1-1 1 p. (Formal Methods in Computer-Aided Design; vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

Games with Full, Longitudinal, and Transverse Observability

Kupferman, O., 2020, Reachability Problems - 14th International Conference, RP 2020, Proceedings. Schmitz, S. & Potapov, I. (eds.). Springer Science and Business Media Deutschland GmbH, p. 20-34 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12448 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Good-Enough Synthesis

Almagor, S. & Kupferman, O., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 541-563 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12225 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

12 Scopus citations

Mutually Accepting Capacitated Automata

Alon, R. & Kupferman, O., 2020, Descriptional Complexity of Formal Systems - 22nd International Conference, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12442 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

On (I/O)-Aware Good-For-Games Automata

Faran, R. & Kupferman, O., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer Science and Business Media Deutschland GmbH, p. 161-178 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12302 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

On repetition languages

Kupferman, O. & Leshkowitz, O., 1 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, MFCS-2020-59. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

On Synthesis of Specifications with Arithmetic

Faran, R. & Kupferman, O., 2020, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings. Chatzigeorgiou, A., Dondi, R., Herodotou, H., Kapoutsis, C., Manolopoulos, Y., Papadopoulos, G. A. & Sikora, F. (eds.). Springer, p. 161-173 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

Perspective games with notifications

Kupferman, O. & Shenwald, N., Dec 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020. Saxena, N. & Simon, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 51. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 182).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Reasoning about quality and fuzziness of strategic behaviours

Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A. & Perelli, G., 24 Aug 2020, ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarin, A. & Lang, J. (eds.). IOS Press BV, p. 2887-2888 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Unary prime languages

Jecker, I., Kupferman, O. & Mazzocchi, N., 1 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, MFCS-2020-51. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

2019

Minimizing GFG transition-based automata

Radi, B. A. & Kupferman, O., 1 Jul 2019, 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019. Baier, C., Chatzigiannakis, I., Flocchini, P. & Leonardi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 100. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 132).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

14 Scopus citations

Perspective Games

Kupferman, O. & Vardi, G., Jun 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. Institute of Electrical and Electronics Engineers Inc., 8785662. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

Reasoning about quality and fuzziness of strategic behaviours

Bouyer, P., Kupferman, O., Markey, N., Maubert, B., Murano, A. & Perelli, G., 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 1588-1594 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2019-August).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

23 Scopus citations

Register-bounded synthesis

Khalimov, A. & Kupferman, O., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 25. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Scopus citations

2018

Flow games

Kupferman, O., Vardi, G. & Vardi, M. Y., 1 Jan 2018, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017. Lokam, S. & Ramanujam, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 93).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

How deterministic are good-for-games automata?

Boker, U., Kupferman, O. & Skrzypczak, M., 1 Jan 2018, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017. Lokam, S. & Ramanujam, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 93).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

Multi-player flow games

Guha, S., Kupferman, O. & Vardi, G., 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 104-112 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Spanning-tree games

Hefetz, D., Kupferman, O., Lellouche, A. & Vardi, G., 1 Aug 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 117).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

Synthesis of controllable Nash equilibria in quantitative objective games

Almagor, S., Kupferman, O. & Perelli, G., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 35-41 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

17 Scopus citations

The unfortunate-flow problem

Kupferman, O. & Vardi, G., 1 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 157. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Timed network games with clocks

Avni, G., Guha, S. & Kupferman, O., 1 Aug 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 117).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

Timed vacuity

Chockler, H., Guha, S. & Kupferman, O., 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer Verlag, p. 438-455 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

2017

An abstraction-refinement methodology for reasoning about network games

Avni, G., Guha, S. & Kupferman, O., 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 70-76 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 0).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

10 Scopus citations

A parametrized analysis of algorithms on hierarchical graphs

Faran, R. & Kupferman, O., 2017, Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Proceedings. Pighizzini, G. & Campeanu, C. (eds.). Springer Verlag, p. 114-127 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10316 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

1 Scopus citations

Examining classical graph-theory problems from the viewpoint of formal-verification methods

Kupferman, O., 19 Jun 2017, STOC 2017 - Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. McKenzie, P., King, V. & Hatami, H. (eds.). Association for Computing Machinery, p. 6 1 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. Part F128415).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

Flow logic

Kupferman, O. & Vardi, G., 1 Aug 2017, 28th International Conference on Concurrency Theory, CONCUR 2017. Meyer, R. & Nestmann, U. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 85).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Hierarchical network formation games

Kupferman, O. & Tamir, T., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Margaria , T. & Legay, A. (eds.). Springer Verlag, p. 229-246 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10205 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

16 Scopus citations

Quantitative assume guarantee synthesis

Almagor, S., Kupferman, O., Ringert, J. O. & Velner, Y., 2017, Computer Aided Verification - 29th International Conference, CAV 2017, Proceedings. Kuncak, V. & Majumdar, R. (eds.). Springer Verlag, p. 353-374 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10427 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

14 Scopus citations

Sensing as a complexity measure

Almagor, S., Kuperberg, D. & Kupferman, O., 2017, Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Proceedings. Pighizzini, G. & Campeanu, C. (eds.). Springer Verlag, p. 3-15 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10316 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Timed network games

Avni, G., Guha, S. & Kupferman, O., 1 Nov 2017, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. Larsen, K. G., Raskin, J.-F. & Bodlaender, H. L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 83).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

7 Scopus citations

2016

Dynamic resource allocation games

Avni, G., Henzinger, T. A. & Kupferman, O., 2016, Algorithmic Game Theory - 9th International Symposium, SAGT 2016, Proceedings. Gairing, M. & Savani, R. (eds.). Springer Verlag, p. 153-166 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9928 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

16 Scopus citations

Eulerian paths with regular constraints

Kupferman, O. & Vardi, G., 1 Aug 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 62. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 58).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

High-quality synthesis against stochastic environments

Almagor, S. & Kupferman, O., 1 Aug 2016, Computer Science Logic 2016, CSL 2016. Talbot, J.-M. & Regnier, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 62).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

Minimizing expected cost under hard boolean constraints, with applications to quantitative synthesis

Almagor, S., Kupferman, O. & Velner, Y., 1 Aug 2016, 27th International Conference on Concurrency Theory, CONCUR 2016. Desharnais, J. & Jagadeesan, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 59).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

On high-quality synthesis

Kupferman, O., 2016, Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings. Woeginger, G. J. & Kulikov, A. S. (eds.). Springer Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9691).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

Orna Kupferman

Research output

Search results