Pages that link to "Item:Q2475633"
From MaRDI portal
The following pages link to Optimal infinite scheduling for multi-priced timed automata (Q2475633):
Displaying 20 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Probabilistic timed automata with clock-dependent probabilities (Q1685793) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- Costs and rewards in priced timed automata (Q2064528) (← links)
- Weighted automata (Q2074206) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- On stability of discrete-time switched systems (Q2374565) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Emptiness and Universality Problems in Timed Automata with Positive Frequency (Q3012924) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Weight Assignment Logic (Q3451120) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829) (← links)
- On the Supports of Recognizable Timed Series (Q3648835) (← links)
- (Q5002811) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
