Pages that link to "Item:Q5179061"
From MaRDI portal
The following pages link to Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061):
Displaying 7 items.
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061) (← links)
