The following pages link to Leander Tentrup (Q1784964):
Displayed 18 items.
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Monitoring hyperproperties (Q2008281) (← links)
- On expansion and resolution in CEGAR based QBF solving (Q2164249) (← links)
- Clausal abstraction for DQBF (Q2181947) (← links)
- Realizing \(\omega\)-regular hyperproperties (Q2226720) (← links)
- Synthesis from hyperproperties (Q2303878) (← links)
- Non-prenex QBF Solving Using Abstraction (Q2818029) (← links)
- Fast DQBF Refutation (Q3192073) (← links)
- Detecting Unrealizability of Distributed Fault-tolerant Systems (Q3196343) (← links)
- Encodings of Bounded Synthesis (Q3303904) (← links)
- (Q3384880) (← links)
- (Q5015281) (← links)
- (Q5015286) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)
- Understanding and extending incremental determinization for 2QBF (Q6039407) (← links)
- Synthesizing reactive systems from hyperproperties (Q6045009) (← links)
- Constraint-based monitoring of hyperproperties (Q6091406) (← links)
- Verifying hyperliveness (Q6154578) (← links)