Pages that link to "Item:Q5466455"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466455):
Displaying 17 items.
- Expected reachability-time games (Q278757) (← links)
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Improved undecidability results on weighted timed automata (Q844195) (← links)
- Timed network games (Q2112796) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)
- (Q5005123) (← links)
- Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
- (Q5101350) (← links)
- A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
- Optimal controller synthesis for timed systems (Q6135744) (← links)
