The following pages link to Shahar Maoz (Q1854486):
Displayed 8 items.
- An infinite hierarchy of temporal logics over branching time (Q1854487) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Performance heuristics for GR(1) synthesis and related algorithms (Q2303873) (← links)
- Lattice-Based Semantics for Combinatorial Model Evolution (Q3460570) (← links)
- (Q4536399) (← links)
- On the Power of Play-Out for Scenario-Based Programs (Q5187830) (← links)
- (Q5190780) (← links)
- Some Results on the Expressive Power and Complexity of LSCs (Q5452186) (← links)