The following pages link to Line Juhl (Q444488):
Displayed 7 items.
- Modal transition systems with weight intervals (Q444490) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640) (← links)
- Extending modal transition systems with structured labels (Q2909731) (← links)
- (Q2978507) (← links)
- Quantitative Refinement for Weighted Modal Transition Systems (Q3088029) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)