Pages that link to "Item:Q853729"
From MaRDI portal
The following pages link to On using priced timed automata to achieve optimal scheduling (Q853729):
Displaying 4 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308409) (← links)
- Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems (Q6160973) (← links)