Pages that link to "Item:Q2385195"

The following pages link to On the optimal reachability problem of weighted timed automata (Q2385195):

Displaying 37 items.

• A survey of timed automata for the development of real-time systems (Q394966) (← links)
• MSO logics for weighted timed automata (Q548692) (← links)
• Optimal paths in weighted timed automata (Q596026) (← links)
• A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
• Weighted o-minimal hybrid systems (Q636266) (← links)
• Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
• Timed automata relaxation for reachability (Q2044206) (← links)
• Costs and rewards in priced timed automata (Q2064528) (← links)
• Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
• Timed network games (Q2112796) (← links)
• Model measuring for discrete and hybrid systems (Q2374564) (← links)
• Optimal reachability for multi-priced timed automata (Q2474054) (← links)
• Optimal Reachability in Divergent Weighted Timed Games (Q2988366) (← links)
• (Q2997531) (← links)
• On the Interval-Bound Problem for Weighted Timed Automata (Q3004604) (← links)
• Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
• Concavely-Priced Timed Automata (Q3543287) (← links)
• Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) (← links)
• Weighted Timed MSO Logics (Q3637244) (← links)
• How to Tackle Integer Weighted Automata Positivity (Q3646253) (← links)
• Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)
• Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829) (← links)
• On the Supports of Recognizable Timed Series (Q3648835) (← links)
• (Q5002811) (← links)
• Timed network games with clocks (Q5005123) (← links)
• Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
• (Q5101345) (← links)
• (Q5101350) (← links)
• (Q5111251) (← links)
• Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! (Q5434499) (← links)
• A Kleene-Schützenberger Theorem for Weighted Timed Automata (Q5458356) (← links)
• Automata, Languages and Programming (Q5466455) (← links)
• Foundations of Software Science and Computational Structures (Q5705878) (← links)
• Optimal run problem for weighted register automata (Q5919052) (← links)
• Optimal controller synthesis for timed systems (Q6135744) (← links)
• Monte Carlo tree search for priced timed automata (Q6160783) (← links)
• Cycle encoding-based parameter synthesis for timed automata safety (Q6634505) (← links)