Pages that link to "Item:Q596026"
From MaRDI portal
The following pages link to Optimal paths in weighted timed automata (Q596026):
Displaying 26 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- MSO logics for weighted timed automata (Q548692) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
- Weighted automata (Q2074206) (← links)
- Timed network games (Q2112796) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- Keeping Secrets in Resource Aware Components (Q2870285) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Energy Games in Multiweighted Automata (Q3105747) (← links)
- Employing Costs in Multiagent Systems with Timed Migration and Timed Communication (Q3297779) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Concavely-Priced Timed Automata (Q3543287) (← links)
- Weighted Timed MSO Logics (Q3637244) (← links)
- (Q5005123) (← links)
- Parametric Analyses of Attack-fault Trees* (Q5025035) (← links)
- Cost Problems for Parametric Time Petri Nets* (Q5025060) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- (Q5101350) (← links)
- (Q5111251) (← links)
- Decomposition of timed automata for solving scheduling problems (Q5172578) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
- Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems (Q6160973) (← links)
