Orna Kupferman

Identifiers

• name variant Orna Kupferman 0.60 · backfill

Papers (8)

1. Reasoning about Quality and Fuzziness of Strategic Behaviours cs.LO · 2019 · author #2
2. Timed Network Games with Clocks cs.GT · 2018 · author #3
3. How Deterministic are Good-For-Games Automata? cs.FL · 2017 · author #2
4. High-Quality Synthesis Against Stochastic Environments cs.LO · 2016 · author #2
5. Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis cs.FL · 2016 · author #2
6. Discounting in LTL cs.LO · 2014 · author #3
7. Rational Synthesis cs.LO · 2009 · author #2
8. What Causes a System to Satisfy a Specification? cs.LO · 2003 · author #3

Mentions

• 0907.3019 #2 · backfill · confidence 0.70 Orna Kupferman

Frequent Coauthors

• Shaull Almagor 3 shared papers
• Udi Boker 2 shared papers
• Aniello Murano 1 shared papers
• Bastien Maubert 1 shared papers
• Dana Fisman 1 shared papers
• Giuseppe Perelli 1 shared papers
• Guy Avni 1 shared papers
• Hana Chockler 1 shared papers
• Joseph Y. Halpern 1 shared papers
• Micha{\l} Skrzypczak 1 shared papers
• Nicolas Markey 1 shared papers
• Patricia Bouyer 1 shared papers
• Shibashis Guha 1 shared papers
• Yaron Velner 1 shared papers
• Yoad Lustig 1 shared papers