Pages that link to "Item:Q845728"

The following pages link to Folk theorems on the determinization and minimization of timed automata (Q845728):

Displayed 11 items.

• A survey of timed automata for the development of real-time systems (Q394966) ‎ (← links)
• Compositional schedulability analysis of real-time actor-based systems (Q530212) ‎ (← links)
• Bounded determinization of timed automata with silent transitions (Q1699228) ‎ (← links)
• A game approach to determinize timed automata (Q2018058) ‎ (← links)
• Predictive runtime enforcement (Q2402553) ‎ (← links)
• Bounded Determinization of Timed Automata with Silent Transitions (Q2945604) ‎ (← links)
• Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (Q3000640) ‎ (← links)
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness (Q3543291) ‎ (← links)
• (Q5089309) ‎ (← links)
• (Q5094137) ‎ (← links)
• Formal language properties of hybrid systems with strong resets (Q5190079) ‎ (← links)