The following pages link to Shahar Maoz (Q1854486):
Displaying 16 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)
- Efficient Algorithms for Omega-Regular Energy Games (Q6488464) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q6535944) (← links)
- Artifact for ICSE'23 paper: Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? (Q6722152) (← links)
- Artifact for ICSE'23 paper: Using Reactive Synthesis: An End-to-End Exploratory Case Study (Q6722154) (← links)
- Artifact for ICSE'23 paper: Triggers for Reactive Synthesis Specifications (Q6722158) (← links)
- Fast Attack Graph Defense Localization via Bisimulation (Q6722186) (← links)
- Artifact for FM'24 paper: Fast Attack Graph Defense Localization via Bisimulation (Q6722194) (← links)
- Artifact for TACAS'25 paper: Performance Heuristics for GR(1) Realizability Checking and Related Analyses (Q6722210) (← links)