Discount-Optimal Infinite Runs in Priced Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative refinement for weighted modal transition systems
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Weighted modal transition systems
Formal Methods in System Design
Playing games with scenario- and resource-aware SDF graphs through policy iteration
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |