Pages that link to "Item:Q3648829"
From MaRDI portal
The following pages link to Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829):
Displaying 6 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Costs and rewards in priced timed automata (Q2064528) (← links)
- Optimal reachability for multi-priced timed automata (Q2474054) (← links)
- The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems (Q2890180) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- (Q5002811) (← links)