Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas; Maubert, Bastien; Murano, Aniello; Perelli, Giuseppe Reasoning about quality and fuzziness of strategic behaviors. (English) Zbl 07713582 ACM Trans. Comput. Log. 24, No. 3, Paper No. 21, 38 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Bouyer} et al., ACM Trans. Comput. Log. 24, No. 3, Paper No. 21, 38 p. (2023; Zbl 07713582) Full Text: DOI arXiv
Avni, Guy; Guha, Shibashis; Kupferman, Orna Timed network games. (English) Zbl 07641115 Inf. Comput. 290, Article ID 104996, 27 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{G. Avni} et al., Inf. Comput. 290, Article ID 104996, 27 p. (2023; Zbl 07641115) Full Text: DOI
Kupferman, Orna Multi-valued reasoning about reactive systems. (English) Zbl 07640632 Found. Trends Theor. Comput. Sci. 15, No. 2, 126-228 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{O. Kupferman}, Found. Trends Theor. Comput. Sci. 15, No. 2, 126--228 (2022; Zbl 07640632) Full Text: DOI
Almagor, Shaull; Boker, Udi; Kupferman, Orna What’s decidable about weighted automata? (English) Zbl 1526.68003 Inf. Comput. 282, Article ID 104651, 20 p. (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Almagor} et al., Inf. Comput. 282, Article ID 104651, 20 p. (2022; Zbl 1526.68003) Full Text: DOI Link
Kupferman, Orna; Sickert, Salomon Certifying inexpressibility. (English) Zbl 07410435 Kiefer, Stefan (ed.) et al., 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, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 385-405 (2021). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{S. Sickert}, Lect. Notes Comput. Sci. 12650, 385--405 (2021; Zbl 07410435) Full Text: DOI arXiv
Kupferman, Orna; Leshkowitz, Ofer On repetition languages. (English) Zbl 07559430 Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 59, 14 p. (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{O. Leshkowitz}, LIPIcs -- Leibniz Int. Proc. Inform. 170, Article 59, 14 p. (2020; Zbl 07559430) Full Text: DOI
Faran, Rachel; Kupferman, Orna On synthesis of specifications with arithmetic. (English) Zbl 1440.68171 Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 161-173 (2020). MSC: 68Q60 68Q45 91A80 PDFBibTeX XMLCite \textit{R. Faran} and \textit{O. Kupferman}, Lect. Notes Comput. Sci. 12011, 161--173 (2020; Zbl 1440.68171) Full Text: DOI
Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna Dynamic resource allocation games. (English) Zbl 1443.91030 Theor. Comput. Sci. 807, 42-55 (2020). MSC: 91A14 91A25 91A80 91B32 PDFBibTeX XMLCite \textit{G. Avni} et al., Theor. Comput. Sci. 807, 42--55 (2020; Zbl 1443.91030) Full Text: DOI
Khalimov, Ayrat; Kupferman, Orna Register-bounded synthesis. (English) Zbl 07649933 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 25, 16 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Khalimov} and \textit{O. Kupferman}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 25, 16 p. (2019; Zbl 07649933) Full Text: DOI
Almagor, Shaull; Kuperberg, Denis; Kupferman, Orna Sensing as a complexity measure. (English) Zbl 1427.68136 Int. J. Found. Comput. Sci. 30, No. 6-7, 831-873 (2019). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Almagor} et al., Int. J. Found. Comput. Sci. 30, No. 6--7, 831--873 (2019; Zbl 1427.68136) Full Text: DOI
Kupferman, Orna; Vardi, Gal Flow logic. (English) Zbl 1442.03014 Log. Methods Comput. Sci. 15, No. 4, Paper No. 9, 24 p. (2019). MSC: 03B70 03B44 05C21 68Q60 68R10 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{G. Vardi}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 9, 24 p. (2019; Zbl 1442.03014) Full Text: arXiv
Avni, Guy; Guha, Shibashis; Kupferman, Orna Timed network games with clocks. (English) Zbl 1510.91055 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 23, 18 p. (2018). MSC: 91A43 68Q45 91B32 PDFBibTeX XMLCite \textit{G. Avni} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 23, 18 p. (2018; Zbl 1510.91055) Full Text: DOI arXiv
Avni, Guy; Guha, Shibashis; Kupferman, Orna An abstraction-refinement methodology for reasoning about network games. (English) Zbl 1418.91097 Games 9, No. 3, Paper No. 39, 21 p. (2018). MSC: 91A43 05C57 68Q45 PDFBibTeX XMLCite \textit{G. Avni} et al., Games 9, No. 3, Paper No. 39, 21 p. (2018; Zbl 1418.91097) Full Text: DOI
Avni, Guy; Kupferman, Orna Synthesis from component libraries with costs. (English) Zbl 1386.68099 Theor. Comput. Sci. 712, 50-72 (2018). MSC: 68Q60 03B44 68Q45 91A80 PDFBibTeX XMLCite \textit{G. Avni} and \textit{O. Kupferman}, Theor. Comput. Sci. 712, 50--72 (2018; Zbl 1386.68099) Full Text: DOI
Kupferman, Orna; Tamir, Tami Hierarchical network formation games. (English) Zbl 1457.91106 Legay, Axel (ed.) et al., 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, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 229-246 (2017). MSC: 91A43 91A65 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{T. Tamir}, Lect. Notes Comput. Sci. 10205, 229--246 (2017; Zbl 1457.91106) Full Text: DOI
Kupferman, Orna; Vardi, Gal Flow logic. (English) Zbl 1442.03015 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 9, 18 p. (2017). MSC: 03B70 03B44 05C21 68Q60 68R10 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{G. Vardi}, LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 9, 18 p. (2017; Zbl 1442.03015) Full Text: DOI
Avni, Guy; Guha, Shibashis; Kupferman, Orna Timed network games. (English) Zbl 1441.91014 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 37, 16 p. (2017). MSC: 91A43 68Q45 91B32 PDFBibTeX XMLCite \textit{G. Avni} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 37, 16 p. (2017; Zbl 1441.91014) Full Text: DOI
Almagor, Shaull; Kupferman, Orna Latticed-LTL synthesis in the presence of noisy inputs. (English) Zbl 1374.93029 Discrete Event Dyn. Syst. 27, No. 3, 547-572 (2017). MSC: 93A30 93B50 03B44 PDFBibTeX XMLCite \textit{S. Almagor} and \textit{O. Kupferman}, Discrete Event Dyn. Syst. 27, No. 3, 547--572 (2017; Zbl 1374.93029) Full Text: DOI
Avni, Guy; Kupferman, Orna; Tamir, Tami Network-formation games with regular objectives. (English) Zbl 1353.91012 Inf. Comput. 251, 165-178 (2016). MSC: 91A43 68Q60 91A10 PDFBibTeX XMLCite \textit{G. Avni} et al., Inf. Comput. 251, 165--178 (2016; Zbl 1353.91012) Full Text: DOI
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y. Synthesis with rational environments. (English) Zbl 1372.68173 Ann. Math. Artif. Intell. 78, No. 1, 3-20 (2016). MSC: 68Q60 03B70 68T42 91A80 PDFBibTeX XMLCite \textit{O. Kupferman} et al., Ann. Math. Artif. Intell. 78, No. 1, 3--20 (2016; Zbl 1372.68173) Full Text: DOI
Kupferman, Orna On high-quality synthesis. (English) Zbl 1476.68150 Kulikov, Alexander S. (ed.) et al., Computer science – theory and applications. 11th international computer science symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9–13, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9691, 1-15 (2016). MSC: 68Q60 68-02 PDFBibTeX XMLCite \textit{O. Kupferman}, Lect. Notes Comput. Sci. 9691, 1--15 (2016; Zbl 1476.68150) Full Text: DOI
Avni, Guy; Kupferman, Orna Parameterized weighted containment. (English) Zbl 1354.68145 ACM Trans. Comput. Log. 16, No. 1, Article No. 6, 25 p. (2015). MSC: 68Q45 68Q60 PDFBibTeX XMLCite \textit{G. Avni} and \textit{O. Kupferman}, ACM Trans. Comput. Log. 16, No. 1, Article No. 6, 25 p. (2015; Zbl 1354.68145) Full Text: DOI
Avni, Guy; Kupferman, Orna Stochastization of weighted automata. (English) Zbl 1465.68130 Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 89-102 (2015). MSC: 68Q45 68Q10 68W20 PDFBibTeX XMLCite \textit{G. Avni} and \textit{O. Kupferman}, Lect. Notes Comput. Sci. 9234, 89--102 (2015; Zbl 1465.68130) Full Text: DOI
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna Temporal specifications with accumulative values. (English) Zbl 1354.68169 ACM Trans. Comput. Log. 15, No. 4, Article No. 27, 25 p. (2014). MSC: 68Q60 03B25 03B44 PDFBibTeX XMLCite \textit{U. Boker} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 27, 25 p. (2014; Zbl 1354.68169) Full Text: DOI
Avni, Guy; Kupferman, Orna An abstraction-refinement framework for trigger querying. (English) Zbl 1291.68242 Form. Methods Syst. Des. 44, No. 2, 149-175 (2014). MSC: 68Q60 68Q45 03B44 PDFBibTeX XMLCite \textit{G. Avni} and \textit{O. Kupferman}, Form. Methods Syst. Des. 44, No. 2, 149--175 (2014; Zbl 1291.68242) Full Text: DOI
Aminof, Benjamin; Kupferman, Orna; Lampert, Robby Rigorous approximated determinization of weighted automata. (English) Zbl 1291.68224 Theor. Comput. Sci. 480, 104-117 (2013). MSC: 68Q45 68Q10 PDFBibTeX XMLCite \textit{B. Aminof} et al., Theor. Comput. Sci. 480, 104--117 (2013; Zbl 1291.68224) Full Text: DOI
Kupferman, Orna; Tamir, Tami Coping with selfish on-going behaviors. (English) Zbl 1237.68115 Inf. Comput. 210, 1-12 (2012). MSC: 68Q45 68Q17 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{T. Tamir}, Inf. Comput. 210, 1--12 (2012; Zbl 1237.68115) Full Text: DOI
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y. From liveness to promptness. (English) Zbl 1192.68416 Form. Methods Syst. Des. 34, No. 2, 83-103 (2009). MSC: 68Q45 03B44 68T27 PDFBibTeX XMLCite \textit{O. Kupferman} et al., Form. Methods Syst. Des. 34, No. 2, 83--103 (2009; Zbl 1192.68416) Full Text: DOI
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna Concurrent reachability games. (English) Zbl 1154.91306 Theor. Comput. Sci. 386, No. 3, 188-217 (2007). MSC: 91A05 91A15 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Theor. Comput. Sci. 386, No. 3, 188--217 (2007; Zbl 1154.91306) Full Text: DOI