The following pages link to Orna Kupferman (Q216121):
Displaying 50 items.
- Unifying Büchi complementation constructions (Q2915686) (← links)
- Reasoning about online algorithms with weighted automata (Q2930304) (← links)
- Stochastization of Weighted Automata (Q2946327) (← links)
- Erratum for “What causes a system to satisfy a specification?” (Q2946617) (← links)
- Translating to Co-Büchi Made Tight, Unified, and Useful (Q2946678) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)
- Inherent Vacuity in Lattice Automata (Q2947173) (← links)
- Regular sensing (Q2978510) (← links)
- On Bounded Specifications (Q2996151) (← links)
- Co-Büching Them All (Q3000608) (← links)
- (Q3060982) (← links)
- Synthesis of Trigger Properties (Q3066106) (← links)
- Coping with Selfish On-Going Behaviors (Q3066115) (← links)
- Temporal synthesis for bounded systems and environments (Q3113724) (← links)
- Max and Sum Semantics for Alternating Weighted Automata (Q3172902) (← links)
- Formal Analysis of Online Algorithms (Q3172916) (← links)
- What’s Decidable about Weighted Automata? (Q3172937) (← links)
- Automata Theory and Model Checking (Q3176362) (← links)
- Formally Reasoning About Quality (Q3177797) (← links)
- Synthesis from Component Libraries with Costs (Q3190115) (← links)
- From Reachability to Temporal Specifications in Cost-Sharing Games (Q3192177) (← links)
- On Synthesis of Specifications with Arithmetic (Q3297765) (← links)
- Properties and Utilization of Capacitated Automata (Invited Talk) (Q3299222) (← links)
- Hierarchical Network Formation Games (Q3303895) (← links)
- (Q3396614) (← links)
- Alternating-time temporal logic (Q3455546) (← links)
- A Game-Theoretic Approach to Simulation of Data-Parameterized Systems (Q3457808) (← links)
- (Q3459475) (← links)
- Spanning the Spectrum from Safety to Liveness (Q3460555) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- On the Construction of Fine Automata for Safety Properties (Q3522903) (← links)
- On the Succinctness of Nondeterminism (Q3522904) (← links)
- Weak alternating automata are not that weak (Q3549125) (← links)
- LATTICED SIMULATION RELATIONS AND GAMES (Q3552519) (← links)
- Rational Synthesis (Q3557077) (← links)
- Variable Automata over Infinite Alphabets (Q3564896) (← links)
- The Quest for a Tight Translation of Büchi to co-Büchi Automata (Q3586001) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Alternation Removal in Büchi Automata (Q3587428) (← links)
- Tightening the Exchange Rates Between Automata (Q3608401) (← links)
- Lower Bounds on Witnesses for Nonemptiness of Universal Co-Büchi Automata (Q3617729) (← links)
- Improved Model Checking of Hierarchical Systems (Q3656876) (← links)
- (Q4218940) (← links)
- Augmenting branching temporal logics with existential quantification over atomic propositions (Q4242583) (← links)
- (Q4251063) (← links)
- (Q4259992) (← links)
- Church's Problem Revisited (Q4262605) (← links)
- (Q4270071) (← links)
- (Q4356434) (← links)
