The following pages link to Robby Lampert (Q385025):
Displayed 6 items.
- Rigorous approximated determinization of weighted automata (Q385026) (← links)
- Reasoning about online algorithms with weighted automata (Q2930304) (← links)
- Formal Analysis of Online Algorithms (Q3172916) (← links)
- On the Construction of Fine Automata for Safety Properties (Q3522903) (← links)
- (Q4633896) (← links)
- (Q5357696) (← links)