Pages that link to "Item:Q3523100"

The following pages link to Trading Infinite Memory for Uniform Randomness in Timed Games (Q3523100):

Displaying 3 items.

• Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
• Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
• Reaching Your Goal Optimally by Playing at Random with No Memory (Q5089292) (← links)