Pages that link to "Item:Q5465848"

The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465848):

Displaying 26 items.

• Expected reachability-time games (Q278757) (← links)
• A survey of timed automata for the development of real-time systems (Q394966) (← links)
• Weighted o-minimal hybrid systems (Q636266) (← links)
• Improved undecidability results on weighted timed automata (Q844195) (← links)
• Suboptimal universal strategies in an optimum-time game problem (Q1370041) (← links)
• Backward symbolic optimal reachability in weighted timed automata (Q1996010) (← links)
• Time-aware uniformization of winning strategies (Q2106605) (← links)
• Timed network games (Q2112796) (← links)
• Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← links)
• On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
• Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
• Synthesis of optimal strategies using \textsc{HyTech} (Q2849560) (← 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)
• Efficient On-the-Fly Algorithms for Partially Observable Timed Games (Q3510829) (← links)
• Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
• (Q4636594) (← links)
• Timed network games with clocks (Q5005123) (← links)
• Symbolic Approximation of Weighted Timed Games (Q5090965) (← links)
• (Q5101350) (← links)
• A menagerie of timed automata (Q5176174) (← links)
• Revisiting Robustness in Priced Timed Games (Q5275373) (← links)
• Simple priced timed games are not that simple (Q5275374) (← links)
• Cost vs. Time in Stochastic Games and Markov Automata (Q5351873) (← links)
• Optimal controller synthesis for timed systems (Q6135744) (← links)