The following pages link to Alexander Weinert (Q1786615):
Displaying 11 items.
- Visibly linear dynamic logic (Q1786616) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Robust, expressive, and quantitative linear temporal logics: pick any two for free (Q2672232) (← links)
- (Q3384874) (← links)
- Visibly Linear Dynamic Logic (Q4636575) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- (Q5079761) (← links)
- (Q5136340) (← links)
- (Q5278418) (← links)
- From LTL to rLTL monitoring: improved monitorability through robust semantics (Q6108436) (← links)
