papers
Publications (9)
cs.LO2014
Discounting in LTL
Shaull Almagor, Udi Boker, Orna Kupferman
cs.LO2003
What Causes a System to Satisfy a Specification?
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
cs.GT2018
Timed Network Games with Clocks
Guy Avni, Shibashis Guha, Orna Kupferman
cs.FL2016
Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis
Shaull Almagor, Orna Kupferman, Yaron Velner
cs.LO2009
Rational Synthesis
Dana Fisman, Orna Kupferman, Yoad Lustig
cs.LO2019
Reasoning about Quality and Fuzziness of Strategic Behaviours
Patricia Bouyer, Orna Kupferman, Nicolas Markey +3
cs.FL2017
How Deterministic are Good-For-Games Automata?
Udi Boker, Orna Kupferman, MichaÅ Skrzypczak
cs.FL2013
Profile Trees for Büchi Word Automata, with Application to Determinization
Seth Fogarty, Orna Kupferman, Moshe Y. Vardi +1
cs.LO2016
High-Quality Synthesis Against Stochastic Environments
Shaull Almagor, Orna Kupferman